Anne is cold. Charlie is kind. Erin is quiet. Fiona is kind. If Fiona is furry and Fiona is round then Fiona is big. Quiet people are kind. If someone is green and not furry then they are kind. If someone is big and not quiet then they are kind. Cold, kind people are not big. If Erin is cold and Erin is furry then Erin is big. If someone is cold and not round then they are green. If someone is round and not cold then they are not green.
Anne is cold.
("Anne" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
If Fiona is furry and Fiona is round then Fiona is big.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "big" "+"))
Quiet people are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and not furry then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "kind" "+"))
If someone is big and not quiet then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "kind" "+"))
Cold, kind people are not big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "-"))
If Erin is cold and Erin is furry then Erin is big.
((("Erin" "is" "cold" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "big" "+"))
If someone is cold and not round then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "green" "+"))
If someone is round and not cold then they are not green.
((("someone" "is" "round" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "green" "-"))
Fiona is kind.
True
1
proof
[(triple4)]
("Fiona" "is" "kind" "+")
triple4
Erin is not quiet.
False
1
inv-proof
[(triple3)]
("Erin" "is" "quiet" "-")
triple3
Erin is kind.
True
2
proof
[(((triple3) -> rule2))]
("Erin" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is not kind.
False
2
inv-proof
[(((triple3) -> rule2))]
("Erin" "is" "kind" "-")
((triple3) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "kind" "-")
Anne is green.
Unknown
rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Anne" "is" "green" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Charlie is kind.[(triple2)] Erin is quiet.[(triple3)] Fiona is kind.[(triple4)] @1: Erin is kind.[(((triple3) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1