Erin is blue. Erin is quiet. Erin is white. Erin is young. Fiona is kind. Fiona is quiet. Fiona is young. If Fiona is cold and Fiona is nice then Fiona is kind. All young, blue people are quiet. All quiet people are young. Quiet people are young. If someone is quiet and cold then they are nice. If Fiona is young then Fiona is cold. All white people are quiet. If someone is blue and cold then they are quiet.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is cold and Fiona is nice then Fiona is kind.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "kind" "+"))
All young, blue people are quiet.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
All quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
Quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
If someone is quiet and cold then they are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If Fiona is young then Fiona is cold.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "cold" "+"))
All white people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
If someone is blue and cold then they are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
Erin is white.
True
1
proof
[(triple3)]
("Erin" "is" "white" "+")
triple3
Erin is not young.
False
1
inv-proof
[(triple4 OR ((triple2) -> rule3) OR ((triple2) -> rule4) OR ((((triple3) -> rule7)) -> rule3) OR ((((triple3) -> rule7)) -> rule4))]
("Erin" "is" "young" "-")
triple4
((triple2) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple2) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple3) -> (rule7 % int2))) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Fiona is cold.
True
2
proof
[(((triple7) -> rule6) OR ((((triple6) -> rule3)) -> rule6) OR ((((triple6) -> rule4)) -> rule6))]
("Fiona" "is" "cold" "+")
((triple7) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple6) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not cold.
False
2
inv-proof
[(((triple7) -> rule6) OR ((((triple6) -> rule3)) -> rule6) OR ((((triple6) -> rule4)) -> rule6))]
("Fiona" "is" "cold" "-")
((triple7) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple6) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Erin is not nice.
Unknown
inv-rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "nice" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Erin is blue.[(triple1)] Erin is quiet.[(triple2 OR ((triple3) -> rule7) OR ((triple4 triple1) -> rule2))] Erin is white.[(triple3)] Erin is young.[(triple4 OR ((triple2) -> rule3) OR ((triple2) -> rule4) OR ((((triple3) -> rule7)) -> rule3) OR ((((triple3) -> rule7)) -> rule4))] Fiona is kind.[(triple5 OR ((((triple7) -> rule6) ((triple6 ((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((((triple6) -> rule3)) -> rule6) ((triple6 ((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((((triple6) -> rule4)) -> rule6) ((triple6 ((triple7) -> rule6)) -> rule5)) -> rule1) OR ((((triple7) -> rule6) ((triple6 ((((triple6) -> rule3)) -> rule6)) -> rule5)) -> rule1) OR ((((triple7) -> rule6) ((triple6 ((((triple6) -> rule4)) -> rule6)) -> rule5)) -> rule1) OR ((((((triple6) -> rule3)) -> rule6) ((triple6 ((((triple6) -> rule3)) -> rule6)) -> rule5)) -> rule1) OR ((((((triple6) -> rule3)) -> rule6) ((triple6 ((((triple6) -> rule4)) -> rule6)) -> rule5)) -> rule1) OR ((((((triple6) -> rule4)) -> rule6) ((triple6 ((((triple6) -> rule3)) -> rule6)) -> rule5)) -> rule1) OR ((((((triple6) -> rule4)) -> rule6) ((triple6 ((((triple6) -> rule4)) -> rule6)) -> rule5)) -> rule1))] Fiona is quiet.[(triple6)] Fiona is young.[(triple7 OR ((triple6) -> rule3) OR ((triple6) -> rule4))] @1: Fiona is cold.[(((triple7) -> rule6) OR ((((triple6) -> rule3)) -> rule6) OR ((((triple6) -> rule4)) -> rule6))] @2: Fiona is nice.[(((triple6 ((triple7) -> rule6)) -> rule5) OR ((triple6 ((((triple6) -> rule3)) -> rule6)) -> rule5) OR ((triple6 ((((triple6) -> rule4)) -> rule6)) -> rule5))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
((triple3) -> (rule7 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple4 triple1) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
((triple2) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple2) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((((triple3) -> (rule7 % int2))) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
((((triple7) -> (rule6 % int3)) ((triple6 ((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6 ((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple6) -> (rule4 % int4))) -> (rule6 % int3)) ((triple6 ((triple7) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple7) -> (rule6 % int4)) ((triple6 ((((triple6) -> (rule3 % int3))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple7) -> (rule6 % int4)) ((triple6 ((((triple6) -> (rule4 % int3))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6 ((((triple6) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple6) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6 ((((triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple6) -> (rule4 % int4))) -> (rule6 % int3)) ((triple6 ((((triple6) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple6) -> (rule4 % int4))) -> (rule6 % int3)) ((triple6 ((((triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
((triple6) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple6) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple7) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple6) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple6 ((triple7) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((triple6 ((((triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((triple6 ((((triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3