Erin is kind. Erin is red. Erin is white. Erin is young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Fiona is young. White people are red. If Erin is not nice then Erin is cold. If Fiona is nice and Fiona is not kind then Fiona is not young. If Erin is cold and Erin is kind then Erin is white. If Fiona is kind and Fiona is not cold then Fiona is red. If someone is cold and furry then they are white. If someone is red then they are white. If Erin is furry and Erin is kind then Erin is red.
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
White people are red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If Erin is not nice then Erin is cold.
((("Erin" "is" "nice" "~")) -> ("Erin" "is" "cold" "+"))
If Fiona is nice and Fiona is not kind then Fiona is not young.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "kind" "~")) -> ("Fiona" "is" "young" "-"))
If Erin is cold and Erin is kind then Erin is white.
((("Erin" "is" "cold" "+") ("Erin" "is" "kind" "+")) -> ("Erin" "is" "white" "+"))
If Fiona is kind and Fiona is not cold then Fiona is red.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "cold" "~")) -> ("Fiona" "is" "red" "+"))
If someone is cold and furry then they are white.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
If someone is red then they are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
If Erin is furry and Erin is kind then Erin is red.
((("Erin" "is" "furry" "+") ("Erin" "is" "kind" "+")) -> ("Erin" "is" "red" "+"))
Erin is kind.
True
1
proof
[(triple1)]
("Erin" "is" "kind" "+")
triple1
Fiona is not cold.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "cold" "-")
triple5
Fiona is white.
True
2
proof
[(((triple9) -> rule7) OR ((triple5 triple6) -> rule6))]
("Fiona" "is" "white" "+")
((triple9) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple5 triple6) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple9) -> rule7) OR ((triple5 triple6) -> rule6))]
("Fiona" "is" "white" "-")
((triple9) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple5 triple6) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "cold" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Erin is kind.[(triple1)] Erin is red.[(triple2 OR ((triple3) -> rule1))] Erin is white.[(triple3 OR ((triple2) -> rule7))] Erin is young.[(triple4)] Fiona is cold.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Fiona is red.[(triple9 OR ((((triple5 triple6) -> rule6)) -> rule1))] Fiona is young.[(triple10)] @1: Fiona is white.[(((triple9) -> rule7) OR ((triple5 triple6) -> rule6))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
((triple3) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple3
((triple2) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
((((triple5 triple6) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
((triple9) -> (rule7 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple5 triple6) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1