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