Bob is cold. Bob is red. Bob is rough. Erin is furry. Erin is rough. Gary is big. Gary is cold. Gary is furry. Gary is red. Gary is rough. All furry things are cold.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All furry things are cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
Bob is rough.
True
1
proof
[(triple3)]
("Bob" "is" "rough" "+")
triple3
Gary is not red.
False
1
inv-proof
[(triple9)]
("Gary" "is" "red" "-")
triple9
Erin is cold.
True
2
proof
[(((triple4) -> rule1))]
("Erin" "is" "cold" "+")
((triple4) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple4) -> rule1))]
("Erin" "is" "cold" "-")
((triple4) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is cold.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3)] Erin is furry.[(triple4)] Erin is rough.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7 OR ((triple8) -> rule1))] Gary is furry.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] @1: Erin is cold.[(((triple4) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
((triple8) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
((triple4) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1