Anne is big. Anne is green. Anne is quiet. Charlie is green. Charlie is rough. Charlie is smart. Dave is green. Dave is red. Dave is rough. Erin is big. Erin is quiet. Erin is smart. If Charlie is furry then Charlie is big. If someone is rough and red then they are green. Big, smart people are red.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If Charlie is furry then Charlie is big.
((("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "big" "+"))
If someone is rough and red then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Big, smart people are red.
((("someone" "is" "big" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
Erin is big.
True
1
proof
[(triple10)]
("Erin" "is" "big" "+")
triple10
Anne is not green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "-")
triple2
Erin is red.
True
3
proof
[(((triple10 triple12) -> rule3))]
("Erin" "is" "red" "+")
((triple10 triple12) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
3
inv-proof
[(((triple10 triple12) -> rule3))]
("Erin" "is" "red" "-")
((triple10 triple12) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "+")
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Charlie is green.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Dave is green.[(triple7 OR ((triple9 triple8) -> rule2))] Dave is red.[(triple8)] Dave is rough.[(triple9)] Erin is big.[(triple10)] Erin is quiet.[(triple11)] Erin is smart.[(triple12)] @1: Erin is red.[(((triple10 triple12) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
((triple9 triple8) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Erin is big.
("Erin" "is" "big" "+")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
Erin is smart.
("Erin" "is" "smart" "+")
triple12
Erin is red.
("Erin" "is" "red" "+")
((triple10 triple12) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1