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