Dave is big. Dave is kind. Dave is quiet. Erin is big. Erin is kind. Erin is white. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is white. Gary is cold. Gary is kind. Gary is round. Gary is white. All cold, white things are kind. All quiet things are round. If something is round then it is cold. If something is cold then it is round. If Dave is white and Dave is round then Dave is cold. Round, kind things are big. Round, big things are kind. If something is quiet then it is round.
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
All cold, white things are kind.
((("something" "is" "cold" "+") ("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
All quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
If something is round then it is cold.
((("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If something is cold then it is round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If Dave is white and Dave is round then Dave is cold.
((("Dave" "is" "white" "+") ("Dave" "is" "round" "+")) -> ("Dave" "is" "cold" "+"))
Round, kind things are big.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Round, big things are kind.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
If something is quiet then it is round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
Gary is white.
True
1
proof
[(triple15)]
("Gary" "is" "white" "+")
triple15
Fiona is not kind.
False
1
inv-proof
[(triple8 OR ((triple7 triple11) -> rule1) OR ((((triple10) -> rule3) triple11) -> rule1) OR ((((((triple9) -> rule2)) -> rule3) triple11) -> rule1) OR ((((((triple9) -> rule8)) -> rule3) triple11) -> rule1))]
("Fiona" "is" "kind" "-")
triple8
((triple7 triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple10) -> (rule3 % int2)) triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((((triple9) -> (rule2 % int3))) -> (rule3 % int2)) triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple9) -> (rule8 % int3))) -> (rule3 % int2)) triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is big.
True
3
proof
[(((triple10 triple8) -> rule6) OR ((triple10 ((triple7 triple11) -> rule1)) -> rule6) OR ((((triple7) -> rule4) triple8) -> rule6) OR ((((triple9) -> rule2) triple8) -> rule6) OR ((((triple9) -> rule8) triple8) -> rule6) OR ((((triple7) -> rule4) ((triple7 triple11) -> rule1)) -> rule6) OR ((((triple9) -> rule2) ((triple7 triple11) -> rule1)) -> rule6) OR ((((triple9) -> rule8) ((triple7 triple11) -> rule1)) -> rule6) OR ((triple10 ((((triple10) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple7) -> rule4) ((((triple10) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple9) -> rule2) ((((triple10) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple9) -> rule8) ((((triple10) -> rule3) triple11) -> rule1)) -> rule6) OR ((triple10 ((((((triple9) -> rule2)) -> rule3) triple11) -> rule1)) -> rule6) OR ((triple10 ((((((triple9) -> rule8)) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple7) -> rule4) ((((((triple9) -> rule2)) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple7) -> rule4) ((((((triple9) -> rule8)) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple9) -> rule2) ((((((triple9) -> rule2)) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple9) -> rule2) ((((((triple9) -> rule8)) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple9) -> rule8) ((((((triple9) -> rule2)) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple9) -> rule8) ((((((triple9) -> rule8)) -> rule3) triple11) -> rule1)) -> rule6))]
("Fiona" "is" "big" "+")
((triple10 triple8) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple10 ((triple7 triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple7) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple9) -> (rule2 % int2)) triple8) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple9) -> (rule8 % int2)) triple8) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple7) -> (rule4 % int3)) ((triple7 triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple9) -> (rule2 % int3)) ((triple7 triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple9) -> (rule8 % int3)) ((triple7 triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((triple10 ((((triple10) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple7) -> (rule4 % int4)) ((((triple10) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9) -> (rule2 % int4)) ((((triple10) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9) -> (rule8 % int4)) ((((triple10) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((triple10 ((((((triple9) -> (rule2 % int4))) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((triple10 ((((((triple9) -> (rule8 % int4))) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple7) -> (rule4 % int4)) ((((((triple9) -> (rule2 % int4))) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple7) -> (rule4 % int4)) ((((((triple9) -> (rule8 % int4))) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9) -> (rule2 % int4)) ((((((triple9) -> (rule2 % int4))) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9) -> (rule2 % int4)) ((((((triple9) -> (rule8 % int4))) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9) -> (rule8 % int4)) ((((((triple9) -> (rule2 % int4))) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9) -> (rule8 % int4)) ((((((triple9) -> (rule8 % int4))) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Dave is not round.
False
2
inv-proof
[(((triple3) -> rule2) OR ((triple3) -> rule8))]
("Dave" "is" "round" "-")
((triple3) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple3) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Erin is not cold.
Unknown
inv-rconc
[@2: Erin is cold.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Erin" "is" "cold" "-")
Erin is round.
Unknown
rconc
[@3: Erin is round.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule2 <- FAIL)]]
("Erin" "is" "round" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Dave is big.[(triple1 OR ((((triple3) -> rule2) triple2) -> rule6) OR ((((triple3) -> rule8) triple2) -> rule6))] Dave is kind.[(triple2 OR ((((triple3) -> rule2) triple1) -> rule7) OR ((((triple3) -> rule8) triple1) -> rule7))] Dave is quiet.[(triple3)] Erin is big.[(triple4)] Erin is kind.[(triple5)] Erin is white.[(triple6)] Fiona is cold.[(triple7 OR ((triple10) -> rule3) OR ((((triple9) -> rule2)) -> rule3) OR ((((triple9) -> rule8)) -> rule3))] Fiona is kind.[(triple8 OR ((triple7 triple11) -> rule1) OR ((((triple10) -> rule3) triple11) -> rule1) OR ((((((triple9) -> rule2)) -> rule3) triple11) -> rule1) OR ((((((triple9) -> rule8)) -> rule3) triple11) -> rule1))] Fiona is quiet.[(triple9)] Fiona is round.[(triple10 OR ((triple7) -> rule4) OR ((triple9) -> rule2) OR ((triple9) -> rule8))] Fiona is white.[(triple11)] Gary is cold.[(triple12 OR ((triple14) -> rule3))] Gary is kind.[(triple13 OR ((triple12 triple15) -> rule1) OR ((((triple14) -> rule3) triple15) -> rule1))] Gary is round.[(triple14 OR ((triple12) -> rule4))] Gary is white.[(triple15)] @1: Dave is round.[(((triple3) -> rule2) OR ((triple3) -> rule8))] Fiona is big.[(((triple10 triple8) -> rule6) OR ((triple10 ((triple7 triple11) -> rule1)) -> rule6) OR ((((triple7) -> rule4) triple8) -> rule6) OR ((((triple9) -> rule2) triple8) -> rule6) OR ((((triple9) -> rule8) triple8) -> rule6) OR ((((triple7) -> rule4) ((triple7 triple11) -> rule1)) -> rule6) OR ((((triple9) -> rule2) ((triple7 triple11) -> rule1)) -> rule6) OR ((((triple9) -> rule8) ((triple7 triple11) -> rule1)) -> rule6) OR ((triple10 ((((triple10) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple7) -> rule4) ((((triple10) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple9) -> rule2) ((((triple10) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple9) -> rule8) ((((triple10) -> rule3) triple11) -> rule1)) -> rule6) OR ((triple10 ((((((triple9) -> rule2)) -> rule3) triple11) -> rule1)) -> rule6) OR ((triple10 ((((((triple9) -> rule8)) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple7) -> rule4) ((((((triple9) -> rule2)) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple7) -> rule4) ((((((triple9) -> rule8)) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple9) -> rule2) ((((((triple9) -> rule2)) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple9) -> rule2) ((((((triple9) -> rule8)) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple9) -> rule8) ((((((triple9) -> rule2)) -> rule3) triple11) -> rule1)) -> rule6) OR ((((triple9) -> rule8) ((((((triple9) -> rule8)) -> rule3) triple11) -> rule1)) -> rule6))] Gary is big.[(((triple14 triple13) -> rule6) OR ((triple14 ((triple12 triple15) -> rule1)) -> rule6) OR ((((triple12) -> rule4) triple13) -> rule6) OR ((((triple12) -> rule4) ((triple12 triple15) -> rule1)) -> rule6) OR ((triple14 ((((triple14) -> rule3) triple15) -> rule1)) -> rule6) OR ((((triple12) -> rule4) ((((triple14) -> rule3) triple15) -> rule1)) -> rule6))] @2: Dave is cold.[(((((triple3) -> rule2)) -> rule3) OR ((((triple3) -> rule8)) -> rule3))]
Dave is big.
("Dave" "is" "big" "+")
triple1
((((triple3) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple3) -> (rule8 % int2)) triple2) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
triple2
((((triple3) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple3) -> (rule8 % int2)) triple1) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
((triple10) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple9) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
((triple7 triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple10) -> (rule3 % int2)) triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((((triple9) -> (rule2 % int3))) -> (rule3 % int2)) triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple9) -> (rule8 % int3))) -> (rule3 % int2)) triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
((triple7) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple9) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple9) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple12
((triple14) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple13
((triple12 triple15) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple14) -> (rule3 % int2)) triple15) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
triple14
((triple12) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple15
Dave is round.
("Dave" "is" "round" "+")
((triple3) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple3) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple10 triple8) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple10 ((triple7 triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple7) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple9) -> (rule2 % int2)) triple8) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple9) -> (rule8 % int2)) triple8) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple7) -> (rule4 % int3)) ((triple7 triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple9) -> (rule2 % int3)) ((triple7 triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple9) -> (rule8 % int3)) ((triple7 triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((triple10 ((((triple10) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple7) -> (rule4 % int4)) ((((triple10) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9) -> (rule2 % int4)) ((((triple10) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9) -> (rule8 % int4)) ((((triple10) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((triple10 ((((((triple9) -> (rule2 % int4))) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((triple10 ((((((triple9) -> (rule8 % int4))) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple7) -> (rule4 % int4)) ((((((triple9) -> (rule2 % int4))) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple7) -> (rule4 % int4)) ((((((triple9) -> (rule8 % int4))) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9) -> (rule2 % int4)) ((((((triple9) -> (rule2 % int4))) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9) -> (rule2 % int4)) ((((((triple9) -> (rule8 % int4))) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9) -> (rule8 % int4)) ((((((triple9) -> (rule2 % int4))) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple9) -> (rule8 % int4)) ((((((triple9) -> (rule8 % int4))) -> (rule3 % int3)) triple11) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
((triple14 triple13) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple14 ((triple12 triple15) -> (rule1 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple12) -> (rule4 % int2)) triple13) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple12) -> (rule4 % int3)) ((triple12 triple15) -> (rule1 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple14 ((((triple14) -> (rule3 % int3)) triple15) -> (rule1 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple12) -> (rule4 % int4)) ((((triple14) -> (rule3 % int3)) triple15) -> (rule1 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2