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