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