Anne is blue. Anne is kind. Anne is round. Anne is white. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is white. Fiona is kind. Fiona is quiet. Gary is blue. Gary is kind. Gary is quiet. Gary is red. Gary is white. If Fiona is round and Fiona is white then Fiona is quiet. All quiet people are white. If Fiona is kind and Fiona is quiet then Fiona is round. Kind, red people are nice. Nice people are white. All round, blue people are nice.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
If Fiona is round and Fiona is white then Fiona is quiet.
((("Fiona" "is" "round" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "quiet" "+"))
All quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If Fiona is kind and Fiona is quiet then Fiona is round.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "round" "+"))
Kind, red people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
All round, blue people are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Dave is not round.
False
1
inv-proof
[(triple8)]
("Dave" "is" "round" "-")
triple8
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "nice" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4 OR ((((triple3 triple1) -> rule6)) -> rule5))] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9 OR ((triple5) -> rule5) OR ((triple6) -> rule2))] Fiona is kind.[(triple10)] Fiona is quiet.[(triple11)] Gary is blue.[(triple12)] Gary is kind.[(triple13)] Gary is quiet.[(triple14)] Gary is red.[(triple15)] Gary is white.[(triple16 OR ((triple14) -> rule2) OR ((((triple13 triple15) -> rule4)) -> rule5))] @1: Anne is nice.[(((triple3 triple1) -> rule6))] Fiona is round.[(((triple10 triple11) -> rule3))] Fiona is white.[(((triple11) -> rule2))] Gary is nice.[(((triple13 triple15) -> rule4))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
((((triple3 triple1) -> (rule6 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
((triple5) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple6) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
((triple14) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple13 triple15) -> (rule4 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
((triple3 triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple10 triple11) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple11) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple13 triple15) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1