Bob is blue. If something is furry and rough then it is not cold. If something is green and not rough then it is cold. Round, blue things are cold. If something is big and cold then it is green. If something is blue then it is green. If something is cold and not rough then it is blue. Cold, rough things are blue. If something is blue then it is round.
Bob is blue.
("Bob" "is" "blue" "+")
If something is furry and rough then it is not cold.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "cold" "-"))
If something is green and not rough then it is cold.
((("something" "is" "green" "+") ("something" "is" "rough" "~")) -> ("something" "is" "cold" "+"))
Round, blue things are cold.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If something is big and cold then it is green.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If something is blue then it is green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If something is cold and not rough then it is blue.
((("something" "is" "cold" "+") ("something" "is" "rough" "~")) -> ("something" "is" "blue" "+"))
Cold, rough things are blue.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If something is blue then it is round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Bob is not blue.
False
1
inv-proof
[(triple1)]
("Bob" "is" "blue" "-")
triple1
Bob is green.
True
2
proof
[(((triple1) -> rule5))]
("Bob" "is" "green" "+")
((triple1) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not round.
False
2
inv-proof
[(((triple1) -> rule8))]
("Bob" "is" "round" "-")
((triple1) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is blue.[(triple1)] @1: Bob is green.[(((triple1) -> rule5))] Bob is round.[(((triple1) -> rule8))] @2: Bob is cold.[(((((triple1) -> rule8) triple1) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
((triple1) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple1) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple1) -> (rule8 % int2)) triple1) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2