Bob is blue. Bob is nice. Bob is round. Dave is smart. Gary is nice. Gary is red. Harry is smart. If Dave is rough and Dave is round then Dave is smart. If Bob is blue then Bob is red.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Dave is rough and Dave is round then Dave is smart.
((("Dave" "is" "rough" "+") ("Dave" "is" "round" "+")) -> ("Dave" "is" "smart" "+"))
If Bob is blue then Bob is red.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "red" "+"))
Gary is nice.
True
1
proof
[(triple5)]
("Gary" "is" "nice" "+")
triple5
Gary is not red.
False
1
inv-proof
[(triple6)]
("Gary" "is" "red" "-")
triple6
Bob is red.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "red" "+")
((triple1) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple1) -> rule2))]
("Bob" "is" "red" "-")
((triple1) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is round.[(triple3)] Dave is smart.[(triple4)] Gary is nice.[(triple5)] Gary is red.[(triple6)] Harry is smart.[(triple7)] @1: Bob is red.[(((triple1) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1