Bob is cold. Bob is nice. Charlie is cold. Charlie is quiet. Charlie is rough. Erin is cold. Erin is rough. Erin is round. Gary is furry. Gary is rough. Cold, nice people are rough. All rough people are cold.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Cold, nice people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Gary is rough.
True
1
proof
[(triple10)]
("Gary" "is" "rough" "+")
triple10
Gary is not furry.
False
1
inv-proof
[(triple9)]
("Gary" "is" "furry" "-")
triple9
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Charlie is cold.[(triple3 OR ((triple5) -> rule2))] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Erin is cold.[(triple6 OR ((triple7) -> rule2))] Erin is rough.[(triple7)] Erin is round.[(triple8)] Gary is furry.[(triple9)] Gary is rough.[(triple10)] @1: Bob is rough.[(((triple1 triple2) -> rule1))] Gary is cold.[(((triple10) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
((triple5) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
((triple7) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Bob is rough.
("Bob" "is" "rough" "+")
((triple1 triple2) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple10) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1