Anne is big. Anne is kind. Anne is quiet. Anne is round. Dave is quiet. Dave is red. Fiona is red. Fiona is round. Gary is big. Gary is cold. All cold people are round. Cold people are smart. Kind, quiet people are cold. If someone is round then they are quiet. Quiet people are kind. All cold, big people are kind. If Gary is cold and Gary is round then Gary is quiet. Smart people are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
All cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Cold people are smart.
((("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
Kind, quiet people are cold.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
If someone is round then they are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Quiet people are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
All cold, big people are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If Gary is cold and Gary is round then Gary is quiet.
((("Gary" "is" "cold" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "quiet" "+"))
Smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
Gary is big.
True
1
proof
[(triple9 OR ((((triple10) -> rule2)) -> rule8))]
("Gary" "is" "big" "+")
triple9
((((triple10) -> (rule2 % int2))) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Dave is not quiet.
False
1
inv-proof
[(triple5)]
("Dave" "is" "quiet" "-")
triple5
Gary is smart.
True
2
proof
[(((triple10) -> rule2))]
("Gary" "is" "smart" "+")
((triple10) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is not smart.
False
2
inv-proof
[(((triple10) -> rule2))]
("Gary" "is" "smart" "-")
((triple10) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Anne is smart.
True
4
proof
[(((((triple2 triple3) -> rule3)) -> rule2) OR ((((triple2 ((triple4) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) triple3) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) ((triple4) -> rule4)) -> rule3)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule5) triple3) -> rule3)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule3)) -> rule2))]
("Anne" "is" "smart" "+")
((((triple2 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple2 ((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple3) -> (rule5 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple3) -> (rule5 % int4)) ((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple4) -> (rule4 % int4))) -> (rule5 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple4) -> (rule4 % int4))) -> (rule5 % int3)) ((triple4) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Gary is not quiet.
False
3
inv-proof
[(((((triple10) -> rule1)) -> rule4) OR ((triple10 ((triple10) -> rule1)) -> rule7))]
("Gary" "is" "quiet" "-")
((((triple10) -> (rule1 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple10 ((triple10) -> (rule1 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Dave is smart.
True
5
proof
[(((((((triple5) -> rule5) triple5) -> rule3)) -> rule2))]
("Dave" "is" "smart" "+")
((((((triple5) -> (rule5 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is not smart.
False
5
inv-proof
[(((((((triple5) -> rule5) triple5) -> rule3)) -> rule2))]
("Dave" "is" "smart" "-")
((((((triple5) -> (rule5 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big.
True
6
proof
[(((((((((triple5) -> rule5) triple5) -> rule3)) -> rule2)) -> rule8))]
("Dave" "is" "big" "+")
((((((((triple5) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is not big.
False
6
inv-proof
[(((((((((triple5) -> rule5) triple5) -> rule3)) -> rule2)) -> rule8))]
("Dave" "is" "big" "-")
((((((((triple5) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Fiona is big.
True
8
proof
[(((((((((((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule3)) -> rule2)) -> rule8))]
("Fiona" "is" "big" "+")
((((((((((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((triple8) -> (rule4 % int5))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is not big.
False
8
inv-proof
[(((((((((((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule3)) -> rule2)) -> rule8))]
("Fiona" "is" "big" "-")
((((((((((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((triple8) -> (rule4 % int5))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Anne is big.[(triple1 OR ((((((triple2 triple3) -> rule3)) -> rule2)) -> rule8) OR ((((((triple2 ((triple4) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((((((((triple3) -> rule5) triple3) -> rule3)) -> rule2)) -> rule8) OR ((((((((triple3) -> rule5) ((triple4) -> rule4)) -> rule3)) -> rule2)) -> rule8) OR ((((((((((triple4) -> rule4)) -> rule5) triple3) -> rule3)) -> rule2)) -> rule8) OR ((((((((((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule3)) -> rule2)) -> rule8))] Anne is kind.[(triple2 OR ((triple3) -> rule5) OR ((((triple4) -> rule4)) -> rule5))] Anne is quiet.[(triple3 OR ((triple4) -> rule4))] Anne is round.[(triple4 OR ((((triple2 triple3) -> rule3)) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule3)) -> rule1))] Dave is quiet.[(triple5)] Dave is red.[(triple6)] Fiona is red.[(triple7)] Fiona is round.[(triple8)] Gary is big.[(triple9 OR ((((triple10) -> rule2)) -> rule8))] Gary is cold.[(triple10)] @1: Anne is cold.[(((triple2 triple3) -> rule3) OR ((triple2 ((triple4) -> rule4)) -> rule3) OR ((((triple3) -> rule5) triple3) -> rule3) OR ((((triple3) -> rule5) ((triple4) -> rule4)) -> rule3) OR ((((((triple4) -> rule4)) -> rule5) triple3) -> rule3) OR ((((((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule3))] Dave is kind.[(((triple5) -> rule5))] Fiona is quiet.[(((triple8) -> rule4))] Gary is kind.[(((triple10 triple9) -> rule6) OR ((((((triple10) -> rule1)) -> rule4)) -> rule5) OR ((((triple10 ((triple10) -> rule1)) -> rule7)) -> rule5) OR ((triple10 ((((triple10) -> rule2)) -> rule8)) -> rule6))] Gary is round.[(((triple10) -> rule1))] Gary is smart.[(((triple10) -> rule2))] @2: Anne is smart.[(((((triple2 triple3) -> rule3)) -> rule2) OR ((((triple2 ((triple4) -> rule4)) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) triple3) -> rule3)) -> rule2) OR ((((((triple3) -> rule5) ((triple4) -> rule4)) -> rule3)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule5) triple3) -> rule3)) -> rule2) OR ((((((((triple4) -> rule4)) -> rule5) ((triple4) -> rule4)) -> rule3)) -> rule2))] Dave is cold.[(((((triple5) -> rule5) triple5) -> rule3))] Fiona is kind.[(((((triple8) -> rule4)) -> rule5))] Gary is quiet.[(((((triple10) -> rule1)) -> rule4) OR ((triple10 ((triple10) -> rule1)) -> rule7))] @3: Dave is round.[(((((((triple5) -> rule5) triple5) -> rule3)) -> rule1))] Dave is smart.[(((((((triple5) -> rule5) triple5) -> rule3)) -> rule2))] Fiona is cold.[(((((((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule3))] @4: Dave is big.[(((((((((triple5) -> rule5) triple5) -> rule3)) -> rule2)) -> rule8))] Fiona is smart.[(((((((((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule3)) -> rule2))] @5: Fiona is big.[(((((((((((triple8) -> rule4)) -> rule5) ((triple8) -> rule4)) -> rule3)) -> rule2)) -> rule8))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((((((triple2 triple3) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple2 ((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple3) -> (rule5 % int4)) triple3) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple3) -> (rule5 % int5)) ((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((((triple4) -> (rule4 % int5))) -> (rule5 % int4)) triple3) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple4) -> (rule4 % int5))) -> (rule5 % int4)) ((triple4) -> (rule4 % int5))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((triple3) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple4) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple4
((((triple2 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple3) -> (rule5 % int3)) triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
((((triple10) -> (rule2 % int2))) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Anne is cold.
("Anne" "is" "cold" "+")
((triple2 triple3) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple2 ((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple3) -> (rule5 % int2)) triple3) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple3) -> (rule5 % int3)) ((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple4) -> (rule4 % int3))) -> (rule5 % int2)) triple3) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple4) -> (rule4 % int3))) -> (rule5 % int2)) ((triple4) -> (rule4 % int3))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
((triple5) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple8) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple10 triple9) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((((triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((triple10 ((triple10) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((triple10 ((((triple10) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
((triple10) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple10) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
((((triple2 triple3) -> (rule3 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple2 ((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple3) -> (rule5 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple3) -> (rule5 % int4)) ((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple4) -> (rule4 % int4))) -> (rule5 % int3)) triple3) -> (rule3 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple4) -> (rule4 % int4))) -> (rule5 % int3)) ((triple4) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
((((triple5) -> (rule5 % int2)) triple5) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple10) -> (rule1 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple10 ((triple10) -> (rule1 % int2))) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((((triple5) -> (rule5 % int3)) triple5) -> (rule3 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
((((((triple5) -> (rule5 % int3)) triple5) -> (rule3 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((triple8) -> (rule4 % int3))) -> (rule5 % int2)) ((triple8) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
((((((((triple5) -> (rule5 % int4)) triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
((((((((triple8) -> (rule4 % int4))) -> (rule5 % int3)) ((triple8) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
((((((((((triple8) -> (rule4 % int5))) -> (rule5 % int4)) ((triple8) -> (rule4 % int5))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5