Charlie is quiet. Dave is quiet. Erin is nice. Erin is quiet. Erin is white. Fiona is quiet. Fiona is rough. If Dave is nice and Dave is rough then Dave is quiet. Red, nice people are white. Young people are red. If someone is young then they are red. If Erin is big and Erin is red then Erin is white. All red, white people are big. Red people are nice. Rough people are young.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If Dave is nice and Dave is rough then Dave is quiet.
((("Dave" "is" "nice" "+") ("Dave" "is" "rough" "+")) -> ("Dave" "is" "quiet" "+"))
Red, nice people are white.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If Erin is big and Erin is red then Erin is white.
((("Erin" "is" "big" "+") ("Erin" "is" "red" "+")) -> ("Erin" "is" "white" "+"))
All red, white people are big.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
Red people are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Rough people are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Erin is nice.
True
1
proof
[(triple3)]
("Erin" "is" "nice" "+")
triple3
Erin is not quiet.
False
1
inv-proof
[(triple4)]
("Erin" "is" "quiet" "-")
triple4
Fiona is young.
True
2
proof
[(((triple7) -> rule8))]
("Fiona" "is" "young" "+")
((triple7) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple7) -> rule8))]
("Fiona" "is" "young" "-")
((triple7) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
True
3
proof
[(((((triple7) -> rule8)) -> rule3) OR ((((triple7) -> rule8)) -> rule4))]
("Fiona" "is" "red" "+")
((((triple7) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple7) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not red.
False
3
inv-proof
[(((((triple7) -> rule8)) -> rule3) OR ((((triple7) -> rule8)) -> rule4))]
("Fiona" "is" "red" "-")
((((triple7) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple7) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is nice.
True
4
proof
[(((((((triple7) -> rule8)) -> rule3)) -> rule7) OR ((((((triple7) -> rule8)) -> rule4)) -> rule7))]
("Fiona" "is" "nice" "+")
((((((triple7) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is not nice.
False
4
inv-proof
[(((((((triple7) -> rule8)) -> rule3)) -> rule7) OR ((((((triple7) -> rule8)) -> rule4)) -> rule7))]
("Fiona" "is" "nice" "-")
((((((triple7) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
True
8
proof
[(((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2))]
("Fiona" "is" "white" "+")
((((((triple7) -> (rule8 % int4))) -> (rule3 % int3)) ((((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple7) -> (rule8 % int4))) -> (rule3 % int3)) ((((((triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple7) -> (rule8 % int4))) -> (rule4 % int3)) ((((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple7) -> (rule8 % int4))) -> (rule4 % int3)) ((((((triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is not white.
False
8
inv-proof
[(((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2))]
("Fiona" "is" "white" "-")
((((((triple7) -> (rule8 % int4))) -> (rule3 % int3)) ((((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple7) -> (rule8 % int4))) -> (rule3 % int3)) ((((((triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple7) -> (rule8 % int4))) -> (rule4 % int3)) ((((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple7) -> (rule8 % int4))) -> (rule4 % int3)) ((((((triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
True
12
proof
[(((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2)) -> rule6))]
("Fiona" "is" "big" "+")
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is not big.
False
12
inv-proof
[(((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2)) -> rule6))]
("Fiona" "is" "big" "-")
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Erin is not red.
Unknown
inv-rconc
[@2: Erin is red.[CWA. Example of deepest failure = (rule3 <- rule8 <- FAIL)]]
("Erin" "is" "red" "-")
Charlie is red.
Unknown
rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule3 <- rule8 <- FAIL)]]
("Charlie" "is" "red" "+")
Dave is not nice.
Unknown
inv-rconc
[@3: Dave is nice.[CWA. Example of deepest failure = (rule7 <- rule3 <- rule8 <- FAIL)]]
("Dave" "is" "nice" "-")
Erin is big.
Unknown
rconc
[@3: Erin is big.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule8 <- FAIL)]]
("Erin" "is" "big" "+")
Dave is not big.
Unknown
inv-rconc
[@3: Dave is big.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule8 <- FAIL)]]
("Dave" "is" "big" "-")
Charlie is white.
Unknown
rconc
[@3: Charlie is white.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule8 <- FAIL)]]
("Charlie" "is" "white" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Charlie is quiet.[(triple1)] Dave is quiet.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is white.[(triple5)] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7)] @1: Fiona is young.[(((triple7) -> rule8))] @2: Fiona is red.[(((((triple7) -> rule8)) -> rule3) OR ((((triple7) -> rule8)) -> rule4))] @3: Fiona is nice.[(((((((triple7) -> rule8)) -> rule3)) -> rule7) OR ((((((triple7) -> rule8)) -> rule4)) -> rule7))] @4: Fiona is white.[(((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2))] @5: Fiona is big.[(((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule3) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule3)) -> rule7)) -> rule2)) -> rule6) OR ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule4) ((((((triple7) -> rule8)) -> rule4)) -> rule7)) -> rule2)) -> rule6))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
((triple7) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((((triple7) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple7) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((((triple7) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple7) -> (rule8 % int4))) -> (rule3 % int3)) ((((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple7) -> (rule8 % int4))) -> (rule3 % int3)) ((((((triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple7) -> (rule8 % int4))) -> (rule4 % int3)) ((((((triple7) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple7) -> (rule8 % int4))) -> (rule4 % int3)) ((((((triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4)) ((((((triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5