Anne is furry. Anne is nice. Anne is round. Fiona is cold. Fiona is furry. Fiona is round. Gary is blue. Gary is cold. Gary is furry. Gary is nice. Gary is quiet. Gary is young. All round people are cold. Furry, cold people are round. All nice, round people are blue.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
All round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Furry, cold people are round.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
All nice, round people are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
Gary is cold.
True
1
proof
[(triple8)]
("Gary" "is" "cold" "+")
triple8
Fiona is not cold.
False
1
inv-proof
[(triple4 OR ((triple6) -> rule1))]
("Fiona" "is" "cold" "-")
triple4
((triple6) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Anne is blue.
True
3
proof
[(((triple2 triple3) -> rule3))]
("Anne" "is" "blue" "+")
((triple2 triple3) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple9 triple8) -> rule2))]
("Gary" "is" "round" "-")
((triple9 triple8) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Fiona is cold.[(triple4 OR ((triple6) -> rule1))] Fiona is furry.[(triple5)] Fiona is round.[(triple6 OR ((triple5 triple4) -> rule2))] Gary is blue.[(triple7 OR ((triple10 ((triple9 triple8) -> rule2)) -> rule3))] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is nice.[(triple10)] Gary is quiet.[(triple11)] Gary is young.[(triple12)] @1: Anne is blue.[(((triple2 triple3) -> rule3))] Anne is cold.[(((triple3) -> rule1))] Gary is round.[(((triple9 triple8) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
((triple6) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
((triple5 triple4) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple7
((triple10 ((triple9 triple8) -> (rule2 % int2))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Anne is blue.
("Anne" "is" "blue" "+")
((triple2 triple3) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple9 triple8) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1