Charlie is cold. Charlie is green. Charlie is kind. Charlie is round. Charlie is young. Dave is white. Erin is young. Harry is big. Harry is cold. Harry is green. Harry is kind. Harry is young. If something is green then it is kind. If Dave is green and Dave is white then Dave is young. All white things are green. Round, big things are cold. All round things are green. All young, round things are big. Round things are big. Young things are round.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is green then it is kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If Dave is green and Dave is white then Dave is young.
((("Dave" "is" "green" "+") ("Dave" "is" "white" "+")) -> ("Dave" "is" "young" "+"))
All white things are green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
Round, big things are cold.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
All round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
All young, round things are big.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
Round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
Young things are round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Harry is cold.
True
1
proof
[(triple9 OR ((((triple12) -> rule8) triple8) -> rule4) OR ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule7)) -> rule4) OR ((((triple12) -> rule8) ((triple12 ((triple12) -> rule8)) -> rule6)) -> rule4))]
("Harry" "is" "cold" "+")
triple9
((((triple12) -> (rule8 % int2)) triple8) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple12) -> (rule8 % int3)) ((((triple12) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple12) -> (rule8 % int3)) ((triple12 ((triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not young.
False
1
inv-proof
[(triple12)]
("Harry" "is" "young" "-")
triple12
Erin is round.
True
2
proof
[(((triple7) -> rule8))]
("Erin" "is" "round" "+")
((triple7) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Dave is not green.
False
2
inv-proof
[(((triple6) -> rule3))]
("Dave" "is" "green" "-")
((triple6) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
True
3
proof
[(((((triple6) -> rule3)) -> rule1))]
("Dave" "is" "kind" "+")
((((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Erin is not big.
False
3
inv-proof
[(((((triple7) -> rule8)) -> rule7) OR ((triple7 ((triple7) -> rule8)) -> rule6))]
("Erin" "is" "big" "-")
((((triple7) -> (rule8 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((triple7 ((triple7) -> (rule8 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Dave is round.
True
5
proof
[(((((((triple6) -> rule3) triple6) -> rule2)) -> rule8))]
("Dave" "is" "round" "+")
((((((triple6) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Erin is not cold.
False
6
inv-proof
[(((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule8) ((triple7 ((triple7) -> rule8)) -> rule6)) -> rule4))]
("Erin" "is" "cold" "-")
((((triple7) -> (rule8 % int3)) ((((triple7) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple7) -> (rule8 % int3)) ((triple7 ((triple7) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Dave is big.
True
6
proof
[(((((((((triple6) -> rule3) triple6) -> rule2)) -> rule8)) -> rule7) OR ((((((triple6) -> rule3) triple6) -> rule2) ((((((triple6) -> rule3) triple6) -> rule2)) -> rule8)) -> rule6))]
("Dave" "is" "big" "+")
((((((((triple6) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple6) -> (rule3 % int4)) triple6) -> (rule2 % int3)) ((((((triple6) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is not big.
False
6
inv-proof
[(((((((((triple6) -> rule3) triple6) -> rule2)) -> rule8)) -> rule7) OR ((((((triple6) -> rule3) triple6) -> rule2) ((((((triple6) -> rule3) triple6) -> rule2)) -> rule8)) -> rule6))]
("Dave" "is" "big" "-")
((((((((triple6) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple6) -> (rule3 % int4)) triple6) -> (rule2 % int3)) ((((((triple6) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is cold.
True
12
proof
[(((((((((triple6) -> rule3) triple6) -> rule2)) -> rule8) ((((((((triple6) -> rule3) triple6) -> rule2)) -> rule8)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule3) triple6) -> rule2)) -> rule8) ((((((triple6) -> rule3) triple6) -> rule2) ((((((triple6) -> rule3) triple6) -> rule2)) -> rule8)) -> rule6)) -> rule4))]
("Dave" "is" "cold" "+")
((((((((triple6) -> (rule3 % int5)) triple6) -> (rule2 % int4))) -> (rule8 % int3)) ((((((((triple6) -> (rule3 % int5)) triple6) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple6) -> (rule3 % int5)) triple6) -> (rule2 % int4))) -> (rule8 % int3)) ((((((triple6) -> (rule3 % int5)) triple6) -> (rule2 % int4)) ((((((triple6) -> (rule3 % int5)) triple6) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is not cold.
False
12
inv-proof
[(((((((((triple6) -> rule3) triple6) -> rule2)) -> rule8) ((((((((triple6) -> rule3) triple6) -> rule2)) -> rule8)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule3) triple6) -> rule2)) -> rule8) ((((((triple6) -> rule3) triple6) -> rule2) ((((((triple6) -> rule3) triple6) -> rule2)) -> rule8)) -> rule6)) -> rule4))]
("Dave" "is" "cold" "-")
((((((((triple6) -> (rule3 % int5)) triple6) -> (rule2 % int4))) -> (rule8 % int3)) ((((((((triple6) -> (rule3 % int5)) triple6) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple6) -> (rule3 % int5)) triple6) -> (rule2 % int4))) -> (rule8 % int3)) ((((((triple6) -> (rule3 % int5)) triple6) -> (rule2 % int4)) ((((((triple6) -> (rule3 % int5)) triple6) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Charlie is cold.[(triple1 OR ((triple4 ((triple4) -> rule7)) -> rule4) OR ((triple4 ((triple5 triple4) -> rule6)) -> rule4) OR ((((triple5) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((((triple5) -> rule8) ((triple5 triple4) -> rule6)) -> rule4) OR ((triple4 ((((triple5) -> rule8)) -> rule7)) -> rule4) OR ((triple4 ((triple5 ((triple5) -> rule8)) -> rule6)) -> rule4) OR ((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule7)) -> rule4) OR ((((triple5) -> rule8) ((triple5 ((triple5) -> rule8)) -> rule6)) -> rule4))] Charlie is green.[(triple2 OR ((triple4) -> rule5) OR ((((triple5) -> rule8)) -> rule5))] Charlie is kind.[(triple3 OR ((triple2) -> rule1) OR ((((triple4) -> rule5)) -> rule1) OR ((((((triple5) -> rule8)) -> rule5)) -> rule1))] Charlie is round.[(triple4 OR ((triple5) -> rule8))] Charlie is young.[(triple5)] Dave is white.[(triple6)] Erin is young.[(triple7)] Harry is big.[(triple8 OR ((((triple12) -> rule8)) -> rule7) OR ((triple12 ((triple12) -> rule8)) -> rule6))] Harry is cold.[(triple9 OR ((((triple12) -> rule8) triple8) -> rule4) OR ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule7)) -> rule4) OR ((((triple12) -> rule8) ((triple12 ((triple12) -> rule8)) -> rule6)) -> rule4))] Harry is green.[(triple10 OR ((((triple12) -> rule8)) -> rule5))] Harry is kind.[(triple11 OR ((triple10) -> rule1) OR ((((((triple12) -> rule8)) -> rule5)) -> rule1))] Harry is young.[(triple12)] @1: Charlie is big.[(((triple4) -> rule7) OR ((triple5 triple4) -> rule6) OR ((((triple5) -> rule8)) -> rule7) OR ((triple5 ((triple5) -> rule8)) -> rule6))] Dave is green.[(((triple6) -> rule3))] Erin is round.[(((triple7) -> rule8))] Harry is round.[(((triple12) -> rule8))] @2: Dave is kind.[(((((triple6) -> rule3)) -> rule1))] Dave is young.[(((((triple6) -> rule3) triple6) -> rule2))] Erin is big.[(((((triple7) -> rule8)) -> rule7) OR ((triple7 ((triple7) -> rule8)) -> rule6))] Erin is green.[(((((triple7) -> rule8)) -> rule5))] @3: Dave is round.[(((((((triple6) -> rule3) triple6) -> rule2)) -> rule8))] Erin is cold.[(((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule7)) -> rule4) OR ((((triple7) -> rule8) ((triple7 ((triple7) -> rule8)) -> rule6)) -> rule4))] Erin is kind.[(((((((triple7) -> rule8)) -> rule5)) -> rule1))] @4: Dave is big.[(((((((((triple6) -> rule3) triple6) -> rule2)) -> rule8)) -> rule7) OR ((((((triple6) -> rule3) triple6) -> rule2) ((((((triple6) -> rule3) triple6) -> rule2)) -> rule8)) -> rule6))] @5: Dave is cold.[(((((((((triple6) -> rule3) triple6) -> rule2)) -> rule8) ((((((((triple6) -> rule3) triple6) -> rule2)) -> rule8)) -> rule7)) -> rule4) OR ((((((((triple6) -> rule3) triple6) -> rule2)) -> rule8) ((((((triple6) -> rule3) triple6) -> rule2) ((((((triple6) -> rule3) triple6) -> rule2)) -> rule8)) -> rule6)) -> rule4))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
((triple4 ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((triple4 ((triple5 triple4) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple5) -> (rule8 % int3)) ((triple4) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple5) -> (rule8 % int3)) ((triple5 triple4) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple4 ((((triple5) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple4 ((triple5 ((triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple5) -> (rule8 % int3)) ((((triple5) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple5) -> (rule8 % int3)) ((triple5 ((triple5) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
triple2
((triple4) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
((triple2) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((((triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
((triple5) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
((((triple12) -> (rule8 % int2))) -> (rule7 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((triple12 ((triple12) -> (rule8 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple9
((((triple12) -> (rule8 % int2)) triple8) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple12) -> (rule8 % int3)) ((((triple12) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((triple12) -> (rule8 % int3)) ((triple12 ((triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
triple10
((((triple12) -> (rule8 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
triple11
((triple10) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((((triple12) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
triple12
Charlie is big.
("Charlie" "is" "big" "+")
((triple4) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple5 triple4) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((triple5 ((triple5) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((triple6) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple7) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple12) -> (rule8 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((triple6) -> (rule3 % int2)) triple6) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((((triple7) -> (rule8 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((triple7 ((triple7) -> (rule8 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((((triple7) -> (rule8 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((((triple6) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule8 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
((((triple7) -> (rule8 % int3)) ((((triple7) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple7) -> (rule8 % int3)) ((triple7 ((triple7) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
((((((triple7) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
((((((((triple6) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((((triple6) -> (rule3 % int4)) triple6) -> (rule2 % int3)) ((((((triple6) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
((((((((triple6) -> (rule3 % int5)) triple6) -> (rule2 % int4))) -> (rule8 % int3)) ((((((((triple6) -> (rule3 % int5)) triple6) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((((((triple6) -> (rule3 % int5)) triple6) -> (rule2 % int4))) -> (rule8 % int3)) ((((((triple6) -> (rule3 % int5)) triple6) -> (rule2 % int4)) ((((((triple6) -> (rule3 % int5)) triple6) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5