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