Charlie is kind. Charlie is nice. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is not quiet. Green people are nice. If Fiona is big and Fiona is not cold then Fiona is furry.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If Fiona is big and Fiona is not cold then Fiona is furry.
((("Fiona" "is" "big" "+") ("Fiona" "is" "cold" "~")) -> ("Fiona" "is" "furry" "+"))
Charlie is nice.
True
1
proof
[(triple2)]
("Charlie" "is" "nice" "+")
triple2
Fiona is quiet.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "quiet" "+")
triple7
Fiona is nice.
True
2
proof
[(((triple6) -> rule1))]
("Fiona" "is" "nice" "+")
((triple6) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fiona" "is" "nice" "-")
((triple6) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Fiona is big.[(triple3)] Fiona is cold.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is not quiet.[(triple7)] @1: Fiona is nice.[(((triple6) -> rule1))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple6) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1