Anne is blue. Anne is nice. Anne is quiet. Anne is not smart. Anne is white. Bob is not cold. Bob is quiet. Bob is smart. Bob is young. Gary is blue. Gary is not cold. Gary is nice. Gary is quiet. Gary is smart. Gary is not white. Gary is young. If Bob is young then Bob is smart.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Anne is white.
("Anne" "is" "white" "+")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not white.
("Gary" "is" "white" "-")
Gary is young.
("Gary" "is" "young" "+")
If Bob is young then Bob is smart.
((("Bob" "is" "young" "+")) -> ("Bob" "is" "smart" "+"))
Gary is not cold.
True
1
proof
[(triple11)]
("Gary" "is" "cold" "-")
triple11
Bob is not quiet.
False
1
inv-proof
[(triple7)]
("Bob" "is" "quiet" "-")
triple7
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is not smart.[(triple4)] Anne is quiet.[(triple3)] Anne is white.[(triple5)] Bob is not cold.[(triple6)] Bob is quiet.[(triple7)] Bob is smart.[(triple8 OR ((triple9) -> rule1))] Bob is young.[(triple9)] Gary is blue.[(triple10)] Gary is nice.[(triple12)] Gary is not cold.[(triple11)] Gary is not white.[(triple15)] Gary is quiet.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple16)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not smart.
("Anne" "is" "smart" "-")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple5
Bob is not cold.
("Bob" "is" "cold" "-")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
Bob is smart.
("Bob" "is" "smart" "+")
triple8
((triple9) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is not cold.
("Gary" "is" "cold" "-")
triple11
Gary is not white.
("Gary" "is" "white" "-")
triple15
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple16