Anne is big. Anne is red. Erin is rough. Erin is smart. Fiona is furry. Gary is cold. Gary is smart. All furry people are blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is red.
("Anne" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is smart.
("Gary" "is" "smart" "+")
All furry people are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
Anne is red.
True
1
proof
[(triple2)]
("Anne" "is" "red" "+")
triple2
Gary is not cold.
False
1
inv-proof
[(triple6)]
("Gary" "is" "cold" "-")
triple6
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Anne is big.[(triple1)] Anne is red.[(triple2)] Erin is rough.[(triple3)] Erin is smart.[(triple4)] Fiona is furry.[(triple5)] Gary is cold.[(triple6)] Gary is smart.[(triple7)] @1: Fiona is blue.[(((triple5) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Erin is smart.
("Erin" "is" "smart" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple5) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1