Anne is red. Bob is big. Bob is blue. Bob is cold. Bob is nice. Bob is red. Bob is white. Bob is young. Gary is blue. Gary is white. All cold things are young. If something is white and young then it is nice. If Gary is white and Gary is young then Gary is cold.
Anne is red.
("Anne" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is white.
("Gary" "is" "white" "+")
All cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If something is white and young then it is nice.
((("something" "is" "white" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If Gary is white and Gary is young then Gary is cold.
((("Gary" "is" "white" "+") ("Gary" "is" "young" "+")) -> ("Gary" "is" "cold" "+"))
Bob is blue.
True
1
proof
[(triple3)]
("Bob" "is" "blue" "+")
triple3
Gary is not blue.
False
1
inv-proof
[(triple9)]
("Gary" "is" "blue" "-")
triple9
Gary is not young.
Unknown
inv-rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Anne is red.[(triple1)] Bob is big.[(triple2)] Bob is blue.[(triple3)] Bob is cold.[(triple4)] Bob is nice.[(triple5 OR ((triple7 triple8) -> rule2) OR ((triple7 ((triple4) -> rule1)) -> rule2))] Bob is red.[(triple6)] Bob is white.[(triple7)] Bob is young.[(triple8 OR ((triple4) -> rule1))] Gary is blue.[(triple9)] Gary is white.[(triple10)]
Anne is red.
("Anne" "is" "red" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple5
((triple7 triple8) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple7 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
triple8
((triple4) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10