Dave is young. Erin is cold. Fiona is green. Fiona is quiet. Fiona is white. Fiona is young. Gary is green. Gary is quiet. Gary is white. Gary is young. All furry people are quiet. All red people are young. White, green people are young. All cold people are red. If someone is green and quiet then they are furry. If someone is young and furry then they are quiet. If someone is young and red then they are white. All green, cold people are quiet. If someone is white then they are furry.
Dave is young.
("Dave" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
All red people are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
White, green people are young.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
All cold people are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green and quiet then they are furry.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If someone is young and furry then they are quiet.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If someone is young and red then they are white.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
All green, cold people are quiet.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
If someone is white then they are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Fiona is white.
True
1
proof
[(triple5)]
("Fiona" "is" "white" "+")
triple5
Gary is not green.
False
1
inv-proof
[(triple7)]
("Gary" "is" "green" "-")
triple7
Erin is red.
True
2
proof
[(((triple2) -> rule4))]
("Erin" "is" "red" "+")
((triple2) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple9) -> rule9) OR ((triple7 triple8) -> rule5))]
("Gary" "is" "furry" "-")
((triple9) -> (rule9 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple7 triple8) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Erin is young.
True
3
proof
[(((((triple2) -> rule4)) -> rule2))]
("Erin" "is" "young" "+")
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not young.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule2))]
("Erin" "is" "young" "-")
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
True
6
proof
[(((((((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule7))]
("Erin" "is" "white" "+")
((((((triple2) -> (rule4 % int3))) -> (rule2 % int2)) ((triple2) -> (rule4 % int3))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is not white.
False
6
inv-proof
[(((((((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule7))]
("Erin" "is" "white" "-")
((((((triple2) -> (rule4 % int3))) -> (rule2 % int2)) ((triple2) -> (rule4 % int3))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is furry.
True
7
proof
[(((((((((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule7)) -> rule9))]
("Erin" "is" "furry" "+")
((((((((triple2) -> (rule4 % int4))) -> (rule2 % int3)) ((triple2) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule9 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is not furry.
False
7
inv-proof
[(((((((((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule7)) -> rule9))]
("Erin" "is" "furry" "-")
((((((((triple2) -> (rule4 % int4))) -> (rule2 % int3)) ((triple2) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule9 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is quiet.
True
8
proof
[(((((((((((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule7)) -> rule9)) -> rule1) OR ((((((triple2) -> rule4)) -> rule2) ((((((((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule7)) -> rule9)) -> rule6))]
("Erin" "is" "quiet" "+")
((((((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((triple2) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((triple2) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is not quiet.
False
8
inv-proof
[(((((((((((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule7)) -> rule9)) -> rule1) OR ((((((triple2) -> rule4)) -> rule2) ((((((((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule7)) -> rule9)) -> rule6))]
("Erin" "is" "quiet" "-")
((((((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((triple2) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((triple2) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "red" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "red" "+")
Dave is not furry.
Unknown
inv-rconc
[@3: Dave is furry.[CWA. Example of deepest failure = (rule9 <- rule7 <- rule4 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is quiet.
Unknown
rconc
[@4: Dave is quiet.[CWA. Example of deepest failure = (rule1 <- rule9 <- rule7 <- rule4 <- FAIL)]]
("Dave" "is" "quiet" "+")
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "red" "-")
Dave is white.
Unknown
rconc
[@2: Dave is white.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Dave" "is" "white" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Dave is young.[(triple1)] Erin is cold.[(triple2)] Fiona is green.[(triple3)] Fiona is quiet.[(triple4 OR ((((triple5) -> rule9)) -> rule1) OR ((triple6 ((triple5) -> rule9)) -> rule6) OR ((((triple5 triple3) -> rule3) ((triple5) -> rule9)) -> rule6))] Fiona is white.[(triple5)] Fiona is young.[(triple6 OR ((triple5 triple3) -> rule3))] Gary is green.[(triple7)] Gary is quiet.[(triple8 OR ((((triple9) -> rule9)) -> rule1) OR ((triple10 ((triple9) -> rule9)) -> rule6) OR ((((triple9 triple7) -> rule3) ((triple9) -> rule9)) -> rule6))] Gary is white.[(triple9)] Gary is young.[(triple10 OR ((triple9 triple7) -> rule3))] @1: Erin is red.[(((triple2) -> rule4))] Fiona is furry.[(((triple5) -> rule9) OR ((triple3 triple4) -> rule5))] Gary is furry.[(((triple9) -> rule9) OR ((triple7 triple8) -> rule5))] @2: Erin is young.[(((((triple2) -> rule4)) -> rule2))] @3: Erin is white.[(((((((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule7))] @4: Erin is furry.[(((((((((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule7)) -> rule9))] @5: Erin is quiet.[(((((((((((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule7)) -> rule9)) -> rule1) OR ((((((triple2) -> rule4)) -> rule2) ((((((((triple2) -> rule4)) -> rule2) ((triple2) -> rule4)) -> rule7)) -> rule9)) -> rule6))]
Dave is young.
("Dave" "is" "young" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
((((triple5) -> (rule9 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((triple6 ((triple5) -> (rule9 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple5 triple3) -> (rule3 % int3)) ((triple5) -> (rule9 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
((triple5 triple3) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
((((triple9) -> (rule9 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((triple10 ((triple9) -> (rule9 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple9 triple7) -> (rule3 % int3)) ((triple9) -> (rule9 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
((triple9 triple7) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple2) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple5) -> (rule9 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple3 triple4) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple9) -> (rule9 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple7 triple8) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
((((((triple2) -> (rule4 % int3))) -> (rule2 % int2)) ((triple2) -> (rule4 % int3))) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
((((((((triple2) -> (rule4 % int4))) -> (rule2 % int3)) ((triple2) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule9 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
((((((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((triple2) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((((((((triple2) -> (rule4 % int5))) -> (rule2 % int4)) ((triple2) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5