Anne is big. Anne is kind. Dave is big. Dave is blue. Dave is cold. Dave is kind. Dave is red. Dave is round. Fiona is big. Fiona is cold. Fiona is round. Gary is not big. Gary is blue. Gary is red. Gary is round. Gary is young. If someone is big and young then they are kind. If someone is big then they are kind. If someone is young and big then they are round. If Dave is not blue then Dave is young. All cold, kind people are red. If Anne is red and Anne is not kind then Anne is blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is big and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is big then they are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and big then they are round.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If Dave is not blue then Dave is young.
((("Dave" "is" "blue" "~")) -> ("Dave" "is" "young" "+"))
All cold, kind people are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If Anne is red and Anne is not kind then Anne is blue.
((("Anne" "is" "red" "+") ("Anne" "is" "kind" "~")) -> ("Anne" "is" "blue" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Gary is not blue.
False
1
inv-proof
[(triple13)]
("Gary" "is" "blue" "-")
triple13
Fiona is kind.
True
2
proof
[(((triple9) -> rule2))]
("Fiona" "is" "kind" "+")
((triple9) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple9) -> rule2))]
("Fiona" "is" "kind" "-")
((triple9) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "young" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is big.[(triple1)] Anne is kind.[(triple2 OR ((triple1) -> rule2))] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6 OR ((triple3) -> rule2))] Dave is red.[(triple7 OR ((triple5 triple6) -> rule5) OR ((triple5 ((triple3) -> rule2)) -> rule5))] Dave is round.[(triple8)] Fiona is big.[(triple9)] Fiona is cold.[(triple10)] Fiona is round.[(triple11)] Gary is blue.[(triple13)] Gary is not big.[(triple12)] Gary is red.[(triple14)] Gary is round.[(triple15)] Gary is young.[(triple16)] @1: Fiona is kind.[(((triple9) -> rule2))] @2: Fiona is red.[(((triple10 ((triple9) -> rule2)) -> rule5))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((triple1) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
((triple3) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
triple7
((triple5 triple6) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple5 ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple13
Gary is not big.
("Gary" "is" "big" "-")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple9) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple10 ((triple9) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2