Anne is blue. Anne is cold. Anne is furry. Anne is red. Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is red. Bob is rough. If Bob is kind and Bob is blue then Bob is smart.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
If Bob is kind and Bob is blue then Bob is smart.
((("Bob" "is" "kind" "+") ("Bob" "is" "blue" "+")) -> ("Bob" "is" "smart" "+"))
Bob is kind.
True
1
proof
[(triple8)]
("Bob" "is" "kind" "+")
triple8
Anne is not cold.
False
1
inv-proof
[(triple2)]
("Anne" "is" "cold" "-")
triple2
Bob is smart.
True
3
proof
[(((triple8 triple5) -> rule1))]
("Bob" "is" "smart" "+")
((triple8 triple5) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is not smart.
False
3
inv-proof
[(((triple8 triple5) -> rule1))]
("Bob" "is" "smart" "-")
((triple8 triple5) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is red.[(triple4)] Bob is blue.[(triple5)] Bob is cold.[(triple6)] Bob is furry.[(triple7)] Bob is kind.[(triple8)] Bob is red.[(triple9)] Bob is rough.[(triple10)] @1: Bob is smart.[(((triple8 triple5) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is furry.
("Bob" "is" "furry" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
triple8
Bob is red.
("Bob" "is" "red" "+")
triple9
Bob is rough.
("Bob" "is" "rough" "+")
triple10
Bob is smart.
("Bob" "is" "smart" "+")
((triple8 triple5) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1