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