Anne is round. Anne is white. Dave is big. Dave is round. Erin is cold. Erin is red. Erin is young. Harry is big. Harry is round. Harry is young. All big, white people are cold. Cold, round people are red. All round, white people are blue.
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
All big, white people are cold.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Cold, round people are red.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
All round, white people are blue.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
Harry is big.
True
1
proof
[(triple8)]
("Harry" "is" "big" "+")
triple8
Dave is not round.
False
1
inv-proof
[(triple4)]
("Dave" "is" "round" "-")
triple4
Anne is blue.
True
3
proof
[(((triple1 triple2) -> rule3))]
("Anne" "is" "blue" "+")
((triple1 triple2) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not blue.
False
3
inv-proof
[(((triple1 triple2) -> rule3))]
("Anne" "is" "blue" "-")
((triple1 triple2) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Erin is blue.
Unknown
rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "blue" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is round.[(triple1)] Anne is white.[(triple2)] Dave is big.[(triple3)] Dave is round.[(triple4)] Erin is cold.[(triple5)] Erin is red.[(triple6)] Erin is young.[(triple7)] Harry is big.[(triple8)] Harry is round.[(triple9)] Harry is young.[(triple10)] @1: Anne is blue.[(((triple1 triple2) -> rule3))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Anne is blue.
("Anne" "is" "blue" "+")
((triple1 triple2) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1