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