Fiona is blue. Fiona is nice. Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is nice. If something is green and furry then it is cold. All green, cold things are blue. If something is cold and quiet then it is furry.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If something is green and furry then it is cold.
((("something" "is" "green" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
All green, cold things are blue.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If something is cold and quiet then it is furry.
((("something" "is" "cold" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
Gary is green.
True
1
proof
[(triple6)]
("Gary" "is" "green" "+")
triple6
Gary is not furry.
False
1
inv-proof
[(triple5)]
("Gary" "is" "furry" "-")
triple5
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Fiona is blue.[(triple1)] Fiona is nice.[(triple2)] Gary is big.[(triple3)] Gary is blue.[(triple4 OR ((triple6 ((triple6 triple5) -> rule1)) -> rule2))] Gary is furry.[(triple5)] Gary is green.[(triple6)] Gary is nice.[(triple7)] @1: Gary is cold.[(((triple6 triple5) -> rule1))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
((triple6 ((triple6 triple5) -> (rule1 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
((triple6 triple5) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1