Anne is big. Anne is blue. Anne is quiet. Anne is round. Anne is smart. Anne is white. Erin is big. Erin is quiet. Erin is round. Fiona is blue. Gary is blue. All blue, nice people are quiet. All blue people are smart. If someone is white and nice then they are round. If Erin is blue then Erin is nice. If someone is quiet and smart then they are nice. If someone is blue and smart then they are white. Nice people are white. All round people are big. All blue, white people are nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is blue.
("Gary" "is" "blue" "+")
All blue, nice people are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
All blue people are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
If someone is white and nice then they are round.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If Erin is blue then Erin is nice.
((("Erin" "is" "blue" "+")) -> ("Erin" "is" "nice" "+"))
If someone is quiet and smart then they are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and smart then they are white.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
Nice people are white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
All round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
All blue, white people are nice.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
Anne is quiet.
True
1
proof
[(triple3 OR ((triple2 ((triple2 triple6) -> rule9)) -> rule1) OR ((triple2 ((triple2 ((triple2 triple5) -> rule6)) -> rule9)) -> rule1) OR ((triple2 ((triple2 ((triple2 ((triple2) -> rule2)) -> rule6)) -> rule9)) -> rule1))]
("Anne" "is" "quiet" "+")
triple3
((triple2 ((triple2 triple6) -> (rule9 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((triple2 ((triple2 ((triple2 triple5) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((triple2 ((triple2 ((triple2 ((triple2) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Gary is not blue.
False
1
inv-proof
[(triple11)]
("Gary" "is" "blue" "-")
triple11
Gary is smart.
True
2
proof
[(((triple11) -> rule2))]
("Gary" "is" "smart" "+")
((triple11) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple10) -> rule2))]
("Fiona" "is" "smart" "-")
((triple10) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
True
4
proof
[(((triple10 ((triple10) -> rule2)) -> rule6))]
("Fiona" "is" "white" "+")
((triple10 ((triple10) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not white.
False
4
inv-proof
[(((triple10 ((triple10) -> rule2)) -> rule6))]
("Fiona" "is" "white" "-")
((triple10 ((triple10) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
True
6
proof
[(((triple10 ((triple10 ((triple10) -> rule2)) -> rule6)) -> rule9))]
("Fiona" "is" "nice" "+")
((triple10 ((triple10 ((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Gary is not nice.
False
6
inv-proof
[(((triple11 ((triple11 ((triple11) -> rule2)) -> rule6)) -> rule9))]
("Gary" "is" "nice" "-")
((triple11 ((triple11 ((triple11) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is round.
True
11
proof
[(((((triple11 ((triple11) -> rule2)) -> rule6) ((triple11 ((triple11 ((triple11) -> rule2)) -> rule6)) -> rule9)) -> rule3))]
("Gary" "is" "round" "+")
((((triple11 ((triple11) -> (rule2 % int4))) -> (rule6 % int3)) ((triple11 ((triple11 ((triple11) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Fiona is not round.
False
11
inv-proof
[(((((triple10 ((triple10) -> rule2)) -> rule6) ((triple10 ((triple10 ((triple10) -> rule2)) -> rule6)) -> rule9)) -> rule3))]
("Fiona" "is" "round" "-")
((((triple10 ((triple10) -> (rule2 % int4))) -> (rule6 % int3)) ((triple10 ((triple10 ((triple10) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is big.
True
12
proof
[(((((((triple10 ((triple10) -> rule2)) -> rule6) ((triple10 ((triple10 ((triple10) -> rule2)) -> rule6)) -> rule9)) -> rule3)) -> rule8))]
("Fiona" "is" "big" "+")
((((((triple10 ((triple10) -> (rule2 % int5))) -> (rule6 % int4)) ((triple10 ((triple10 ((triple10) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
Gary is not big.
False
12
inv-proof
[(((((((triple11 ((triple11) -> rule2)) -> rule6) ((triple11 ((triple11 ((triple11) -> rule2)) -> rule6)) -> rule9)) -> rule3)) -> rule8))]
("Gary" "is" "big" "-")
((((((triple11 ((triple11) -> (rule2 % int5))) -> (rule6 % int4)) ((triple11 ((triple11 ((triple11) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Erin is not nice.
Unknown
inv-rconc
[@2: Erin is nice.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Erin" "is" "nice" "-")
Erin is smart.
Unknown
rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "smart" "+")
Erin is not white.
Unknown
inv-rconc
[@3: Erin is white.[CWA. Example of deepest failure = (rule7 <- rule5 <- rule2 <- FAIL)]]
("Erin" "is" "white" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Anne is big.[(triple1 OR ((triple4) -> rule8) OR ((((triple6 ((triple2 triple6) -> rule9)) -> rule3)) -> rule8) OR ((((triple6 ((triple3 triple5) -> rule5)) -> rule3)) -> rule8) OR ((((((triple2 triple5) -> rule6) ((triple2 triple6) -> rule9)) -> rule3)) -> rule8) OR ((((((triple2 triple5) -> rule6) ((triple3 triple5) -> rule5)) -> rule3)) -> rule8) OR ((((triple6 ((triple2 ((triple2 triple5) -> rule6)) -> rule9)) -> rule3)) -> rule8) OR ((((triple6 ((triple3 ((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule8) OR ((((((((triple3 triple5) -> rule5)) -> rule7) ((triple2 triple6) -> rule9)) -> rule3)) -> rule8) OR ((((((((triple3 triple5) -> rule5)) -> rule7) ((triple3 triple5) -> rule5)) -> rule3)) -> rule8) OR ((((((triple2 triple5) -> rule6) ((triple2 ((triple2 triple5) -> rule6)) -> rule9)) -> rule3)) -> rule8) OR ((((((triple2 triple5) -> rule6) ((triple3 ((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule8) OR ((((((triple2 ((triple2) -> rule2)) -> rule6) ((triple2 triple6) -> rule9)) -> rule3)) -> rule8) OR ((((((triple2 ((triple2) -> rule2)) -> rule6) ((triple3 triple5) -> rule5)) -> rule3)) -> rule8) OR ((((((((triple3 triple5) -> rule5)) -> rule7) ((triple2 ((triple2 triple5) -> rule6)) -> rule9)) -> rule3)) -> rule8) OR ((((((((triple3 triple5) -> rule5)) -> rule7) ((triple3 ((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule8) OR ((((((triple2 ((triple2) -> rule2)) -> rule6) ((triple2 ((triple2 triple5) -> rule6)) -> rule9)) -> rule3)) -> rule8) OR ((((((triple2 ((triple2) -> rule2)) -> rule6) ((triple3 ((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule8) OR ((((triple6 ((triple2 ((triple2 ((triple2) -> rule2)) -> rule6)) -> rule9)) -> rule3)) -> rule8) OR ((((((((triple3 ((triple2) -> rule2)) -> rule5)) -> rule7) ((triple2 triple6) -> rule9)) -> rule3)) -> rule8) OR ((((((((triple3 ((triple2) -> rule2)) -> rule5)) -> rule7) ((triple3 triple5) -> rule5)) -> rule3)) -> rule8) OR ((((((triple2 triple5) -> rule6) ((triple2 ((triple2 ((triple2) -> rule2)) -> rule6)) -> rule9)) -> rule3)) -> rule8) OR ((((((((triple3 triple5) -> rule5)) -> rule7) ((triple2 ((triple2 ((triple2) -> rule2)) -> rule6)) -> rule9)) -> rule3)) -> rule8) OR ((((((((triple3 ((triple2) -> rule2)) -> rule5)) -> rule7) ((triple2 ((triple2 triple5) -> rule6)) -> rule9)) -> rule3)) -> rule8) OR ((((((((triple3 ((triple2) -> rule2)) -> rule5)) -> rule7) ((triple3 ((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule8) OR ((((((triple2 ((triple2) -> rule2)) -> rule6) ((triple2 ((triple2 ((triple2) -> rule2)) -> rule6)) -> rule9)) -> rule3)) -> rule8) OR ((((((((triple3 ((triple2) -> rule2)) -> rule5)) -> rule7) ((triple2 ((triple2 ((triple2) -> rule2)) -> rule6)) -> rule9)) -> rule3)) -> rule8))] Anne is blue.[(triple2)] Anne is quiet.[(triple3 OR ((triple2 ((triple2 triple6) -> rule9)) -> rule1) OR ((triple2 ((triple2 ((triple2 triple5) -> rule6)) -> rule9)) -> rule1) OR ((triple2 ((triple2 ((triple2 ((triple2) -> rule2)) -> rule6)) -> rule9)) -> rule1))] Anne is round.[(triple4 OR ((triple6 ((triple2 triple6) -> rule9)) -> rule3) OR ((triple6 ((triple3 triple5) -> rule5)) -> rule3) OR ((((triple2 triple5) -> rule6) ((triple2 triple6) -> rule9)) -> rule3) OR ((((triple2 triple5) -> rule6) ((triple3 triple5) -> rule5)) -> rule3) OR ((triple6 ((triple2 ((triple2 triple5) -> rule6)) -> rule9)) -> rule3) OR ((triple6 ((triple3 ((triple2) -> rule2)) -> rule5)) -> rule3) OR ((((((triple3 triple5) -> rule5)) -> rule7) ((triple2 triple6) -> rule9)) -> rule3) OR ((((((triple3 triple5) -> rule5)) -> rule7) ((triple3 triple5) -> rule5)) -> rule3) OR ((((triple2 triple5) -> rule6) ((triple2 ((triple2 triple5) -> rule6)) -> rule9)) -> rule3) OR ((((triple2 triple5) -> rule6) ((triple3 ((triple2) -> rule2)) -> rule5)) -> rule3) OR ((((triple2 ((triple2) -> rule2)) -> rule6) ((triple2 triple6) -> rule9)) -> rule3) OR ((((triple2 ((triple2) -> rule2)) -> rule6) ((triple3 triple5) -> rule5)) -> rule3) OR ((((((triple3 triple5) -> rule5)) -> rule7) ((triple2 ((triple2 triple5) -> rule6)) -> rule9)) -> rule3) OR ((((((triple3 triple5) -> rule5)) -> rule7) ((triple3 ((triple2) -> rule2)) -> rule5)) -> rule3) OR ((((triple2 ((triple2) -> rule2)) -> rule6) ((triple2 ((triple2 triple5) -> rule6)) -> rule9)) -> rule3) OR ((((triple2 ((triple2) -> rule2)) -> rule6) ((triple3 ((triple2) -> rule2)) -> rule5)) -> rule3) OR ((triple6 ((triple2 ((triple2 ((triple2) -> rule2)) -> rule6)) -> rule9)) -> rule3) OR ((((((triple3 ((triple2) -> rule2)) -> rule5)) -> rule7) ((triple2 triple6) -> rule9)) -> rule3) OR ((((((triple3 ((triple2) -> rule2)) -> rule5)) -> rule7) ((triple3 triple5) -> rule5)) -> rule3) OR ((((triple2 triple5) -> rule6) ((triple2 ((triple2 ((triple2) -> rule2)) -> rule6)) -> rule9)) -> rule3) OR ((((((triple3 triple5) -> rule5)) -> rule7) ((triple2 ((triple2 ((triple2) -> rule2)) -> rule6)) -> rule9)) -> rule3) OR ((((((triple3 ((triple2) -> rule2)) -> rule5)) -> rule7) ((triple2 ((triple2 triple5) -> rule6)) -> rule9)) -> rule3) OR ((((((triple3 ((triple2) -> rule2)) -> rule5)) -> rule7) ((triple3 ((triple2) -> rule2)) -> rule5)) -> rule3) OR ((((triple2 ((triple2) -> rule2)) -> rule6) ((triple2 ((triple2 ((triple2) -> rule2)) -> rule6)) -> rule9)) -> rule3) OR ((((((triple3 ((triple2) -> rule2)) -> rule5)) -> rule7) ((triple2 ((triple2 ((triple2) -> rule2)) -> rule6)) -> rule9)) -> rule3))] Anne is smart.[(triple5 OR ((triple2) -> rule2))] Anne is white.[(triple6 OR ((triple2 triple5) -> rule6) OR ((((triple3 triple5) -> rule5)) -> rule7) OR ((triple2 ((triple2) -> rule2)) -> rule6) OR ((((triple3 ((triple2) -> rule2)) -> rule5)) -> rule7))] Erin is big.[(triple7 OR ((triple9) -> rule8))] Erin is quiet.[(triple8)] Erin is round.[(triple9)] Fiona is blue.[(triple10)] Gary is blue.[(triple11)] @1: Anne is nice.[(((triple2 triple6) -> rule9) OR ((triple3 triple5) -> rule5) OR ((triple2 ((triple2 triple5) -> rule6)) -> rule9) OR ((triple3 ((triple2) -> rule2)) -> rule5) OR ((triple2 ((triple2 ((triple2) -> rule2)) -> rule6)) -> rule9))] Fiona is smart.[(((triple10) -> rule2))] Gary is smart.[(((triple11) -> rule2))] @2: Fiona is white.[(((triple10 ((triple10) -> rule2)) -> rule6))] Gary is white.[(((triple11 ((triple11) -> rule2)) -> rule6))] @3: Fiona is nice.[(((triple10 ((triple10 ((triple10) -> rule2)) -> rule6)) -> rule9))] Gary is nice.[(((triple11 ((triple11 ((triple11) -> rule2)) -> rule6)) -> rule9))] @4: Fiona is quiet.[(((triple10 ((triple10 ((triple10 ((triple10) -> rule2)) -> rule6)) -> rule9)) -> rule1))] Fiona is round.[(((((triple10 ((triple10) -> rule2)) -> rule6) ((triple10 ((triple10 ((triple10) -> rule2)) -> rule6)) -> rule9)) -> rule3))] Gary is quiet.[(((triple11 ((triple11 ((triple11 ((triple11) -> rule2)) -> rule6)) -> rule9)) -> rule1))] Gary is round.[(((((triple11 ((triple11) -> rule2)) -> rule6) ((triple11 ((triple11 ((triple11) -> rule2)) -> rule6)) -> rule9)) -> rule3))] @5: Fiona is big.[(((((((triple10 ((triple10) -> rule2)) -> rule6) ((triple10 ((triple10 ((triple10) -> rule2)) -> rule6)) -> rule9)) -> rule3)) -> rule8))] Gary is big.[(((((((triple11 ((triple11) -> rule2)) -> rule6) ((triple11 ((triple11 ((triple11) -> rule2)) -> rule6)) -> rule9)) -> rule3)) -> rule8))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple4) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple6 ((triple2 triple6) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((triple6 ((triple3 triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple2 triple5) -> (rule6 % int4)) ((triple2 triple6) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple2 triple5) -> (rule6 % int4)) ((triple3 triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple6 ((triple2 ((triple2 triple5) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple6 ((triple3 ((triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((((triple3 triple5) -> (rule5 % int4))) -> (rule7 % int3)) ((triple2 triple6) -> (rule9 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple3 triple5) -> (rule5 % int4))) -> (rule7 % int3)) ((triple3 triple5) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple2 triple5) -> (rule6 % int4)) ((triple2 ((triple2 triple5) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple2 triple5) -> (rule6 % int5)) ((triple3 ((triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule6 % int4)) ((triple2 triple6) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule6 % int4)) ((triple3 triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple3 triple5) -> (rule5 % int4))) -> (rule7 % int3)) ((triple2 ((triple2 triple5) -> (rule6 % int3))) -> (rule9 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple3 triple5) -> (rule5 % int5))) -> (rule7 % int4)) ((triple3 ((triple2) -> (rule2 % int3))) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule6 % int4)) ((triple2 ((triple2 triple5) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule6 % int4)) ((triple3 ((triple2) -> (rule2 % int5))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((triple6 ((triple2 ((triple2 ((triple2) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple3 ((triple2) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((triple2 triple6) -> (rule9 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple3 ((triple2) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((triple3 triple5) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((triple2 triple5) -> (rule6 % int5)) ((triple2 ((triple2 ((triple2) -> (rule2 % int4))) -> (rule6 % int5))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((((triple3 triple5) -> (rule5 % int5))) -> (rule7 % int4)) ((triple2 ((triple2 ((triple2) -> (rule2 % int3))) -> (rule6 % int4))) -> (rule9 % int5))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((((triple3 ((triple2) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((triple2 ((triple2 triple5) -> (rule6 % int3))) -> (rule9 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple3 ((triple2) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((triple3 ((triple2) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule6 % int4)) ((triple2 ((triple2 ((triple2) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((triple3 ((triple2) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((triple2 ((triple2 ((triple2) -> (rule2 % int5))) -> (rule6 % int3))) -> (rule9 % int4))) -> (rule3 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple2 ((triple2 triple6) -> (rule9 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((triple2 ((triple2 ((triple2 triple5) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((triple2 ((triple2 ((triple2 ((triple2) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
triple4
((triple6 ((triple2 triple6) -> (rule9 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((triple6 ((triple3 triple5) -> (rule5 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple2 triple5) -> (rule6 % int3)) ((triple2 triple6) -> (rule9 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple2 triple5) -> (rule6 % int3)) ((triple3 triple5) -> (rule5 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((triple6 ((triple2 ((triple2 triple5) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((triple6 ((triple3 ((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((triple3 triple5) -> (rule5 % int3))) -> (rule7 % int2)) ((triple2 triple6) -> (rule9 % int3))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple3 triple5) -> (rule5 % int3))) -> (rule7 % int2)) ((triple3 triple5) -> (rule5 % int3))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((triple2 triple5) -> (rule6 % int3)) ((triple2 ((triple2 triple5) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple2 triple5) -> (rule6 % int4)) ((triple3 ((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple2 ((triple2) -> (rule2 % int4))) -> (rule6 % int3)) ((triple2 triple6) -> (rule9 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((triple2 ((triple2) -> (rule2 % int4))) -> (rule6 % int3)) ((triple3 triple5) -> (rule5 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple3 triple5) -> (rule5 % int3))) -> (rule7 % int2)) ((triple2 ((triple2 triple5) -> (rule6 % int2))) -> (rule9 % int3))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple3 triple5) -> (rule5 % int4))) -> (rule7 % int3)) ((triple3 ((triple2) -> (rule2 % int2))) -> (rule5 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple2 ((triple2) -> (rule2 % int4))) -> (rule6 % int3)) ((triple2 ((triple2 triple5) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((triple2 ((triple2) -> (rule2 % int4))) -> (rule6 % int3)) ((triple3 ((triple2) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((triple6 ((triple2 ((triple2 ((triple2) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple3 ((triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple2 triple6) -> (rule9 % int3))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple3 ((triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple3 triple5) -> (rule5 % int3))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((triple2 triple5) -> (rule6 % int4)) ((triple2 ((triple2 ((triple2) -> (rule2 % int3))) -> (rule6 % int4))) -> (rule9 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple3 triple5) -> (rule5 % int4))) -> (rule7 % int3)) ((triple2 ((triple2 ((triple2) -> (rule2 % int2))) -> (rule6 % int3))) -> (rule9 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((triple3 ((triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple2 ((triple2 triple5) -> (rule6 % int2))) -> (rule9 % int3))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple3 ((triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple3 ((triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((triple2 ((triple2) -> (rule2 % int4))) -> (rule6 % int3)) ((triple2 ((triple2 ((triple2) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple3 ((triple2) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple2 ((triple2 ((triple2) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule9 % int3))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
((triple2) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple6
((triple2 triple5) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple3 triple5) -> (rule5 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((triple2 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple3 ((triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
triple7
((triple9) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Anne is nice.
("Anne" "is" "nice" "+")
((triple2 triple6) -> (rule9 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple3 triple5) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple2 ((triple2 triple5) -> (rule6 % int2))) -> (rule9 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((triple3 ((triple2) -> (rule2 % int2))) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((triple2 ((triple2 ((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple10) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple11) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple10 ((triple10) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
((triple11 ((triple11) -> (rule2 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple10 ((triple10 ((triple10) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((triple11 ((triple11 ((triple11) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple10 ((triple10 ((triple10 ((triple10) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
((((triple10 ((triple10) -> (rule2 % int4))) -> (rule6 % int3)) ((triple10 ((triple10 ((triple10) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple11 ((triple11 ((triple11 ((triple11) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
((((triple11 ((triple11) -> (rule2 % int4))) -> (rule6 % int3)) ((triple11 ((triple11 ((triple11) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple10 ((triple10) -> (rule2 % int5))) -> (rule6 % int4)) ((triple10 ((triple10 ((triple10) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
((((((triple11 ((triple11) -> (rule2 % int5))) -> (rule6 % int4)) ((triple11 ((triple11 ((triple11) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5