Anne is quiet. Dave is big. Dave is blue. Dave is quiet. Fiona is green. Fiona is kind. Fiona is white. If someone is rough and blue then they are big. If someone is green and white then they are blue. All white, quiet people are kind. If Fiona is green then Fiona is quiet. Quiet, rough people are green. Blue people are big. Green people are quiet. If someone is white then they are big.
Anne is quiet.
("Anne" "is" "quiet" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is rough and blue then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is green and white then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
All white, quiet people are kind.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If Fiona is green then Fiona is quiet.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "quiet" "+"))
Quiet, rough people are green.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
Green people are quiet.
((("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
If someone is white then they are big.
((("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
Dave is blue.
True
1
proof
[(triple3)]
("Dave" "is" "blue" "+")
triple3
Dave is not blue.
False
1
inv-proof
[(triple3)]
("Dave" "is" "blue" "-")
triple3
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "green" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is quiet.[(triple1)] Dave is big.[(triple2 OR ((triple3) -> rule6))] Dave is blue.[(triple3)] Dave is quiet.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6 OR ((triple7 ((triple5) -> rule4)) -> rule3) OR ((triple7 ((triple5) -> rule7)) -> rule3))] Fiona is white.[(triple7)] @1: Fiona is big.[(((triple7) -> rule8) OR ((((triple5 triple7) -> rule2)) -> rule6))] Fiona is blue.[(((triple5 triple7) -> rule2))] Fiona is quiet.[(((triple5) -> rule4) OR ((triple5) -> rule7))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
((triple3) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
((triple7 ((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((triple7 ((triple5) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
((triple7) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple5 triple7) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple5 triple7) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple5) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple5) -> (rule7 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1