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