Anne is cold. Anne is furry. Anne is nice. Anne is quiet. Anne is red. Anne is rough. Anne is young. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is young. Gary is furry. Gary is quiet. Gary is red. Gary is young. If Anne is nice and Anne is rough then Anne is furry. All young people are quiet. If someone is young and furry then they are nice. If someone is furry and rough then they are nice. If someone is young and rough then they are furry. If Fiona is rough then Fiona is nice.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
If Anne is nice and Anne is rough then Anne is furry.
((("Anne" "is" "nice" "+") ("Anne" "is" "rough" "+")) -> ("Anne" "is" "furry" "+"))
All young people are quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
If someone is young and furry then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
If someone is furry and rough then they are nice.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and rough then they are furry.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is rough then Fiona is nice.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "nice" "+"))
Anne is red.
True
1
proof
[(triple5)]
("Anne" "is" "red" "+")
triple5
Anne is not rough.
False
1
inv-proof
[(triple6)]
("Anne" "is" "rough" "-")
triple6
Fiona is nice.
True
3
proof
[(((triple12 triple9) -> rule3))]
("Fiona" "is" "nice" "+")
((triple12 triple9) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
3
inv-proof
[(((triple12 triple9) -> rule3))]
("Fiona" "is" "nice" "-")
((triple12 triple9) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple3 triple6) -> rule1) OR ((triple7 triple6) -> rule5))] Anne is nice.[(triple3 OR ((triple2 triple6) -> rule4) OR ((triple7 triple2) -> rule3) OR ((triple7 ((triple7 triple6) -> rule5)) -> rule3) OR ((((triple7 triple6) -> rule5) triple6) -> rule4))] Anne is quiet.[(triple4 OR ((triple7) -> rule2))] Anne is red.[(triple5)] Anne is rough.[(triple6)] Anne is young.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is quiet.[(triple10 OR ((triple12) -> rule2))] Fiona is red.[(triple11)] Fiona is young.[(triple12)] Gary is furry.[(triple13)] Gary is quiet.[(triple14 OR ((triple16) -> rule2))] Gary is red.[(triple15)] Gary is young.[(triple16)] @1: Fiona is nice.[(((triple12 triple9) -> rule3))] Gary is nice.[(((triple16 triple13) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple3 triple6) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple7 triple6) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple2 triple6) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple7 triple2) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple7 ((triple7 triple6) -> (rule5 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple7 triple6) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
((triple7) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is rough.
("Anne" "is" "rough" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
((triple12) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
((triple16) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple12 triple9) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple16 triple13) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1