Anne is not big. Anne is cold. Anne is nice. Anne is quiet. Anne is not red. Anne is rough. Anne is young. Bob is big. Bob is cold. Bob is not nice. Bob is quiet. Bob is red. Bob is rough. Erin is big. Erin is red. Gary is rough. If something is big and red then it is rough. If Anne is not rough and Anne is not cold then Anne is nice.
Anne is not big.
("Anne" "is" "big" "-")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is red.
("Erin" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If something is big and red then it is rough.
((("something" "is" "big" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If Anne is not rough and Anne is not cold then Anne is nice.
((("Anne" "is" "rough" "~") ("Anne" "is" "cold" "~")) -> ("Anne" "is" "nice" "+"))
Anne is nice.
True
1
proof
[(triple3)]
("Anne" "is" "nice" "+")
triple3
Anne is not young.
False
1
inv-proof
[(triple7)]
("Anne" "is" "young" "-")
triple7
Erin is rough.
True
3
proof
[(((triple14 triple15) -> rule1))]
("Erin" "is" "rough" "+")
((triple14 triple15) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not rough.
False
3
inv-proof
[(((triple14 triple15) -> rule1))]
("Erin" "is" "rough" "-")
((triple14 triple15) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is not big.[(triple1)] Anne is not red.[(triple5)] Anne is quiet.[(triple4)] Anne is rough.[(triple6)] Anne is young.[(triple7)] Bob is big.[(triple8)] Bob is cold.[(triple9)] Bob is not nice.[(triple10)] Bob is quiet.[(triple11)] Bob is red.[(triple12)] Bob is rough.[(triple13 OR ((triple8 triple12) -> rule1))] Erin is big.[(triple14)] Erin is red.[(triple15)] Gary is rough.[(triple16)] @1: Erin is rough.[(((triple14 triple15) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not red.
("Anne" "is" "red" "-")
triple5
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Bob is big.
("Bob" "is" "big" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
triple9
Bob is not nice.
("Bob" "is" "nice" "-")
triple10
Bob is quiet.
("Bob" "is" "quiet" "+")
triple11
Bob is red.
("Bob" "is" "red" "+")
triple12
Bob is rough.
("Bob" "is" "rough" "+")
triple13
((triple8 triple12) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
triple14
Erin is red.
("Erin" "is" "red" "+")
triple15
Gary is rough.
("Gary" "is" "rough" "+")
triple16
Erin is rough.
("Erin" "is" "rough" "+")
((triple14 triple15) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1