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