Dave is cold. Dave is kind. Dave is white. Dave is young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is white. Fiona is young. Gary is blue. Gary is furry. Gary is white. All blue people are cold. All young people are green. If Gary is cold then Gary is white. All kind, white people are furry. If Gary is young then Gary is white. Cold people are kind. If someone is cold then they are young. If someone is cold and young then they are white.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is white.
("Gary" "is" "white" "+")
All blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
All young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If Gary is cold then Gary is white.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "white" "+"))
All kind, white people are furry.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If Gary is young then Gary is white.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "white" "+"))
Cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and young then they are white.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
Gary is blue.
True
1
proof
[(triple10)]
("Gary" "is" "blue" "+")
triple10
Dave is not white.
False
1
inv-proof
[(triple3 OR ((triple1 triple4) -> rule8) OR ((triple1 ((triple1) -> rule7)) -> rule8))]
("Dave" "is" "white" "-")
triple3
((triple1 triple4) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple1 ((triple1) -> (rule7 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2 OR ((triple1) -> rule6))] Dave is white.[(triple3 OR ((triple1 triple4) -> rule8) OR ((triple1 ((triple1) -> rule7)) -> rule8))] Dave is young.[(triple4 OR ((triple1) -> rule7))] Fiona is cold.[(triple5)] Fiona is furry.[(triple6 OR ((triple7 triple8) -> rule4) OR ((triple7 ((triple5 triple9) -> rule8)) -> rule4) OR ((((triple5) -> rule6) triple8) -> rule4) OR ((((triple5) -> rule6) ((triple5 triple9) -> rule8)) -> rule4) OR ((triple7 ((triple5 ((triple5) -> rule7)) -> rule8)) -> rule4) OR ((((triple5) -> rule6) ((triple5 ((triple5) -> rule7)) -> rule8)) -> rule4))] Fiona is kind.[(triple7 OR ((triple5) -> rule6))] Fiona is white.[(triple8 OR ((triple5 triple9) -> rule8) OR ((triple5 ((triple5) -> rule7)) -> rule8))] Fiona is young.[(triple9 OR ((triple5) -> rule7))] Gary is blue.[(triple10)] Gary is furry.[(triple11 OR ((((((triple10) -> rule1)) -> rule6) triple12) -> rule4) OR ((((((triple10) -> rule1)) -> rule6) ((((triple10) -> rule1)) -> rule3)) -> rule4) OR ((((((triple10) -> rule1)) -> rule6) ((((((triple10) -> rule1)) -> rule7)) -> rule5)) -> rule4) OR ((((((triple10) -> rule1)) -> rule6) ((((triple10) -> rule1) ((((triple10) -> rule1)) -> rule7)) -> rule8)) -> rule4))] Gary is white.[(triple12 OR ((((triple10) -> rule1)) -> rule3) OR ((((((triple10) -> rule1)) -> rule7)) -> rule5) OR ((((triple10) -> rule1) ((((triple10) -> rule1)) -> rule7)) -> rule8))] @1: Dave is furry.[(((triple2 triple3) -> rule4) OR ((triple2 ((triple1 triple4) -> rule8)) -> rule4) OR ((((triple1) -> rule6) triple3) -> rule4) OR ((((triple1) -> rule6) ((triple1 triple4) -> rule8)) -> rule4) OR ((triple2 ((triple1 ((triple1) -> rule7)) -> rule8)) -> rule4) OR ((((triple1) -> rule6) ((triple1 ((triple1) -> rule7)) -> rule8)) -> rule4))] Dave is green.[(((triple4) -> rule2) OR ((((triple1) -> rule7)) -> rule2))] Fiona is green.[(((triple9) -> rule2) OR ((((triple5) -> rule7)) -> rule2))] Gary is cold.[(((triple10) -> rule1))] @2: Gary is kind.[(((((triple10) -> rule1)) -> rule6))] Gary is young.[(((((triple10) -> rule1)) -> rule7))] @3: Gary is green.[(((((((triple10) -> rule1)) -> rule7)) -> rule2))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
((triple1) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple3
((triple1 triple4) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple1 ((triple1) -> (rule7 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
triple4
((triple1) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
((triple7 triple8) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple7 ((triple5 triple9) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple5) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple5) -> (rule6 % int3)) ((triple5 triple9) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((triple7 ((triple5 ((triple5) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((triple5) -> (rule6 % int4)) ((triple5 ((triple5) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
((triple5) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple8
((triple5 triple9) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple5 ((triple5) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
triple9
((triple5) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
((((((triple10) -> (rule1 % int3))) -> (rule6 % int2)) triple12) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple10) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple10) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((triple10) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple10) -> (rule1 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((((triple10) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple10) -> (rule1 % int5)) ((((triple10) -> (rule1 % int5))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
triple12
((((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((((triple10) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple10) -> (rule1 % int3)) ((((triple10) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
((triple2 triple3) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple2 ((triple1 triple4) -> (rule8 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple1) -> (rule6 % int2)) triple3) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple1) -> (rule6 % int3)) ((triple1 triple4) -> (rule8 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((triple2 ((triple1 ((triple1) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((triple1) -> (rule6 % int4)) ((triple1 ((triple1) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
((triple4) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
((triple9) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple5) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple10) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((((triple10) -> (rule1 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple10) -> (rule1 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((((((triple10) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3