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