Bob is cold. Blue, red things are cold. If Bob is rough and Bob is cold then Bob is blue. If something is cold then it is rough. If something is round and not rough then it is white. All rough things are not white. Red, round things are white. If something is blue and not cold then it is white. If something is blue and not white then it is not furry.
Bob is cold.
("Bob" "is" "cold" "+")
Blue, red things are cold.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
If Bob is rough and Bob is cold then Bob is blue.
((("Bob" "is" "rough" "+") ("Bob" "is" "cold" "+")) -> ("Bob" "is" "blue" "+"))
If something is cold then it is rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If something is round and not rough then it is white.
((("something" "is" "round" "+") ("something" "is" "rough" "~")) -> ("something" "is" "white" "+"))
All rough things are not white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "-"))
Red, round things are white.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
If something is blue and not cold then it is white.
((("something" "is" "blue" "+") ("something" "is" "cold" "~")) -> ("something" "is" "white" "+"))
If something is blue and not white then it is not furry.
((("something" "is" "blue" "+") ("something" "is" "white" "~")) -> ("something" "is" "furry" "-"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Bob is rough.
True
2
proof
[(((triple1) -> rule3))]
("Bob" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not rough.
False
2
inv-proof
[(((triple1) -> rule3))]
("Bob" "is" "rough" "-")
((triple1) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not white.
True
3
proof
[(((((triple1) -> rule3)) -> rule5))]
("Bob" "is" "white" "-")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not blue.
False
4
inv-proof
[(((((triple1) -> rule3) triple1) -> rule2))]
("Bob" "is" "blue" "-")
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is cold.[(triple1)] @1: Bob is rough.[(((triple1) -> rule3))] @2: Bob is blue.[(((((triple1) -> rule3) triple1) -> rule2))] Bob is not white.[(((((triple1) -> rule3)) -> rule5))] @3: Bob is not furry.[(((((((triple1) -> rule3) triple1) -> rule2) ((((triple1) -> rule3)) -> rule5)) -> rule8))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not white.
("Bob" "is" "white" "-")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not furry.
("Bob" "is" "furry" "-")
((((((triple1) -> (rule3 % int4)) triple1) -> (rule2 % int3)) ((((triple1) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Bob is not white.
("Bob" "is" "white" "-")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4