Dave is big. Dave is furry. Dave is young. Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is red. Erin is smart. Erin is young. Fiona is big. Fiona is cold. Fiona is red. Fiona is smart. Fiona is young. If someone is smart and young then they are green. If Erin is red then Erin is young. If someone is red and green then they are smart. Young, cold people are green. If someone is green and cold then they are smart. Green people are young. Young, big people are smart. If Fiona is cold then Fiona is furry.
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is smart and young then they are green.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If Erin is red then Erin is young.
((("Erin" "is" "red" "+")) -> ("Erin" "is" "young" "+"))
If someone is red and green then they are smart.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
Young, cold people are green.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is green and cold then they are smart.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
Green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Young, big people are smart.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is cold then Fiona is furry.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "furry" "+"))
Erin is big.
True
1
proof
[(triple4)]
("Erin" "is" "big" "+")
triple4
Erin is not young.
False
1
inv-proof
[(triple10 OR ((triple7) -> rule6) OR ((triple8) -> rule2))]
("Erin" "is" "young" "-")
triple10
((triple7) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple8) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is young.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7 OR ((triple10 triple5) -> rule4) OR ((triple9 triple10) -> rule1) OR ((triple9 ((triple8) -> rule2)) -> rule1) OR ((((triple8) -> rule2) triple5) -> rule4) OR ((((triple10 triple4) -> rule7) triple10) -> rule1) OR ((((triple10 triple4) -> rule7) ((triple8) -> rule2)) -> rule1) OR ((((((triple8) -> rule2) triple4) -> rule7) triple10) -> rule1) OR ((((((triple8) -> rule2) triple4) -> rule7) ((triple8) -> rule2)) -> rule1))] Erin is red.[(triple8)] Erin is smart.[(triple9 OR ((triple10 triple4) -> rule7) OR ((triple7 triple5) -> rule5) OR ((triple8 triple7) -> rule3) OR ((triple8 ((triple10 triple5) -> rule4)) -> rule3) OR ((((triple7) -> rule6) triple4) -> rule7) OR ((((triple8) -> rule2) triple4) -> rule7) OR ((((triple10 triple5) -> rule4) triple5) -> rule5) OR ((triple8 ((((triple8) -> rule2) triple5) -> rule4)) -> rule3) OR ((((((triple8) -> rule2) triple5) -> rule4) triple5) -> rule5))] Erin is young.[(triple10 OR ((triple7) -> rule6) OR ((triple8) -> rule2))] Fiona is big.[(triple11)] Fiona is cold.[(triple12)] Fiona is red.[(triple13)] Fiona is smart.[(triple14 OR ((triple15 triple11) -> rule7) OR ((triple13 ((triple15 triple12) -> rule4)) -> rule3) OR ((((triple15 triple12) -> rule4) triple12) -> rule5))] Fiona is young.[(triple15)] @1: Dave is smart.[(((triple3 triple1) -> rule7))] Fiona is furry.[(((triple12) -> rule8))] Fiona is green.[(((triple14 triple15) -> rule1) OR ((triple15 triple12) -> rule4) OR ((((triple15 triple11) -> rule7) triple15) -> rule1))] @2: Dave is green.[(((((triple3 triple1) -> rule7) triple3) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
((triple10 triple5) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple9 triple10) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple9 ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple8) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple10 triple4) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple10 triple4) -> (rule7 % int3)) ((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple8) -> (rule2 % int3)) triple4) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple8) -> (rule2 % int3)) triple4) -> (rule7 % int2)) ((triple8) -> (rule2 % int3))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
((triple10 triple4) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple7 triple5) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple8 triple7) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple8 ((triple10 triple5) -> (rule4 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple7) -> (rule6 % int2)) triple4) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple8) -> (rule2 % int2)) triple4) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple10 triple5) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple8 ((((triple8) -> (rule2 % int3)) triple5) -> (rule4 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple8) -> (rule2 % int3)) triple5) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
triple10
((triple7) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple8) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple11
Fiona is cold.
("Fiona" "is" "cold" "+")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple13
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
((triple15 triple11) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple13 ((triple15 triple12) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple15 triple12) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Dave is smart.
("Dave" "is" "smart" "+")
((triple3 triple1) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple12) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple14 triple15) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple15 triple12) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple15 triple11) -> (rule7 % int2)) triple15) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple3 triple1) -> (rule7 % int2)) triple3) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2