Bob is big. Bob is round. Fiona is big. Fiona is cold. Fiona is green. Fiona is smart. Gary is cold. Gary is nice. Harry is cold. Harry is round. Harry is smart. Harry is young. If Fiona is round then Fiona is big. Young people are smart. All cold, big people are nice. Smart people are green. All smart, green people are cold. All big, green people are round. If someone is round then they are young. If someone is round and young then they are big. All young people are round.
Bob is big.
("Bob" "is" "big" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If Fiona is round then Fiona is big.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "big" "+"))
Young people are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
All cold, big people are nice.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Smart people are green.
((("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
All smart, green people are cold.
((("someone" "is" "smart" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
All big, green people are round.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is round and young then they are big.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
All young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Bob is big.
True
1
proof
[(triple1 OR ((triple2 ((triple2) -> rule7)) -> rule8))]
("Bob" "is" "big" "+")
triple1
((triple2 ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Gary is not nice.
False
1
inv-proof
[(triple8)]
("Gary" "is" "nice" "-")
triple8
Harry is big.
True
3
proof
[(((triple10 triple12) -> rule8) OR ((triple10 ((triple10) -> rule7)) -> rule8) OR ((((triple12) -> rule9) triple12) -> rule8) OR ((((triple12) -> rule9) ((triple10) -> rule7)) -> rule8))]
("Harry" "is" "big" "+")
((triple10 triple12) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple10 ((triple10) -> (rule7 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple12) -> (rule9 % int2)) triple12) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple12) -> (rule9 % int3)) ((triple10) -> (rule7 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not big.
False
3
inv-proof
[(((triple10 triple12) -> rule8) OR ((triple10 ((triple10) -> rule7)) -> rule8) OR ((((triple12) -> rule9) triple12) -> rule8) OR ((((triple12) -> rule9) ((triple10) -> rule7)) -> rule8))]
("Harry" "is" "big" "-")
((triple10 triple12) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple10 ((triple10) -> (rule7 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple12) -> (rule9 % int2)) triple12) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple12) -> (rule9 % int3)) ((triple10) -> (rule7 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Bob is smart.
True
3
proof
[(((((triple2) -> rule7)) -> rule2))]
("Bob" "is" "smart" "+")
((((triple2) -> (rule7 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not smart.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule2))]
("Bob" "is" "smart" "-")
((((triple2) -> (rule7 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is green.
True
4
proof
[(((((((triple2) -> rule7)) -> rule2)) -> rule4))]
("Bob" "is" "green" "+")
((((((triple2) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not green.
False
4
inv-proof
[(((((((triple2) -> rule7)) -> rule2)) -> rule4))]
("Bob" "is" "green" "-")
((((((triple2) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
True
8
proof
[(((((((triple2) -> rule7)) -> rule2) ((((((triple2) -> rule7)) -> rule2)) -> rule4)) -> rule5))]
("Bob" "is" "cold" "+")
((((((triple2) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is not cold.
False
8
inv-proof
[(((((((triple2) -> rule7)) -> rule2) ((((((triple2) -> rule7)) -> rule2)) -> rule4)) -> rule5))]
("Bob" "is" "cold" "-")
((((((triple2) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
True
10
proof
[(((((((((triple2) -> rule7)) -> rule2) ((((((triple2) -> rule7)) -> rule2)) -> rule4)) -> rule5) triple1) -> rule3) OR ((((((((triple2) -> rule7)) -> rule2) ((((((triple2) -> rule7)) -> rule2)) -> rule4)) -> rule5) ((triple2 ((triple2) -> rule7)) -> rule8)) -> rule3))]
("Bob" "is" "nice" "+")
((((((((triple2) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple2) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule7 % int6))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
Bob is not nice.
False
10
inv-proof
[(((((((((triple2) -> rule7)) -> rule2) ((((((triple2) -> rule7)) -> rule2)) -> rule4)) -> rule5) triple1) -> rule3) OR ((((((((triple2) -> rule7)) -> rule2) ((((((triple2) -> rule7)) -> rule2)) -> rule4)) -> rule5) ((triple2 ((triple2) -> rule7)) -> rule8)) -> rule3))]
("Bob" "is" "nice" "-")
((((((((triple2) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple2) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule7 % int6))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
Gary is not big.
Unknown
inv-rconc
[@3: Gary is big.[CWA. Example of deepest failure = (rule8 <- rule7 <- rule6 <- FAIL)]]
("Gary" "is" "big" "-")
Gary is green.
Unknown
rconc
[@4: Gary is green.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule7 <- rule6 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not young.
Unknown
inv-rconc
[@3: Gary is young.[CWA. Example of deepest failure = (rule7 <- rule6 <- rule8 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is round.
Unknown
rconc
[@4: Gary is round.[CWA. Example of deepest failure = (rule6 <- rule8 <- rule9 <- rule7 <- FAIL)]]
("Gary" "is" "round" "+")
@0: Bob is big.[(triple1 OR ((triple2 ((triple2) -> rule7)) -> rule8))] Bob is round.[(triple2)] Fiona is big.[(triple3)] Fiona is cold.[(triple4 OR ((triple6 triple5) -> rule5) OR ((triple6 ((triple6) -> rule4)) -> rule5) OR ((((((((triple3 triple5) -> rule6)) -> rule7)) -> rule2) triple5) -> rule5) OR ((((((((triple3 triple5) -> rule6)) -> rule7)) -> rule2) ((triple6) -> rule4)) -> rule5))] Fiona is green.[(triple5 OR ((triple6) -> rule4))] Fiona is smart.[(triple6 OR ((((((triple3 triple5) -> rule6)) -> rule7)) -> rule2))] Gary is cold.[(triple7)] Gary is nice.[(triple8)] Harry is cold.[(triple9 OR ((triple11 ((triple11) -> rule4)) -> rule5) OR ((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) OR ((triple11 ((((triple12) -> rule2)) -> rule4)) -> rule5) OR ((((triple12) -> rule2) ((((triple12) -> rule2)) -> rule4)) -> rule5) OR ((((((triple10) -> rule7)) -> rule2) ((triple11) -> rule4)) -> rule5) OR ((((((triple10) -> rule7)) -> rule2) ((((triple12) -> rule2)) -> rule4)) -> rule5) OR ((triple11 ((((((triple10) -> rule7)) -> rule2)) -> rule4)) -> rule5) OR ((((triple12) -> rule2) ((((((triple10) -> rule7)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple10) -> rule7)) -> rule2) ((((((triple10) -> rule7)) -> rule2)) -> rule4)) -> rule5))] Harry is round.[(triple10 OR ((triple12) -> rule9))] Harry is smart.[(triple11 OR ((triple12) -> rule2) OR ((((triple10) -> rule7)) -> rule2))] Harry is young.[(triple12 OR ((triple10) -> rule7))] @1: Bob is young.[(((triple2) -> rule7))] Fiona is nice.[(((triple4 triple3) -> rule3) OR ((((triple6 triple5) -> rule5) triple3) -> rule3) OR ((((triple6 ((triple6) -> rule4)) -> rule5) triple3) -> rule3) OR ((((((((((triple3 triple5) -> rule6)) -> rule7)) -> rule2) triple5) -> rule5) triple3) -> rule3) OR ((((((((((triple3 triple5) -> rule6)) -> rule7)) -> rule2) ((triple6) -> rule4)) -> rule5) triple3) -> rule3))] Fiona is round.[(((triple3 triple5) -> rule6) OR ((triple3 ((triple6) -> rule4)) -> rule6))] Harry is big.[(((triple10 triple12) -> rule8) OR ((triple10 ((triple10) -> rule7)) -> rule8) OR ((((triple12) -> rule9) triple12) -> rule8) OR ((((triple12) -> rule9) ((triple10) -> rule7)) -> rule8))] Harry is green.[(((triple11) -> rule4) OR ((((triple12) -> rule2)) -> rule4) OR ((((((triple10) -> rule7)) -> rule2)) -> rule4))] @2: Bob is smart.[(((((triple2) -> rule7)) -> rule2))] Fiona is young.[(((((triple3 triple5) -> rule6)) -> rule7) OR ((((triple3 ((triple6) -> rule4)) -> rule6)) -> rule7))] Harry is nice.[(((triple9 ((triple10 triple12) -> rule8)) -> rule3) OR ((triple9 ((triple10 ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((triple9 ((((triple12) -> rule9) triple12) -> rule8)) -> rule3) OR ((triple9 ((((triple12) -> rule9) ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((triple11 ((triple11) -> rule4)) -> rule5) ((triple10 triple12) -> rule8)) -> rule3) OR ((((triple11 ((triple11) -> rule4)) -> rule5) ((triple10 ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((triple11 ((triple11) -> rule4)) -> rule5) ((((triple12) -> rule9) triple12) -> rule8)) -> rule3) OR ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) ((triple10 triple12) -> rule8)) -> rule3) OR ((((triple11 ((triple11) -> rule4)) -> rule5) ((((triple12) -> rule9) ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) ((triple10 ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) ((((triple12) -> rule9) triple12) -> rule8)) -> rule3) OR ((((((triple12) -> rule2) ((triple11) -> rule4)) -> rule5) ((((triple12) -> rule9) ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((triple11 ((((triple12) -> rule2)) -> rule4)) -> rule5) ((triple10 triple12) -> rule8)) -> rule3) OR ((((triple11 ((((triple12) -> rule2)) -> rule4)) -> rule5) ((triple10 ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((triple11 ((((triple12) -> rule2)) -> rule4)) -> rule5) ((((triple12) -> rule9) triple12) -> rule8)) -> rule3) OR ((((((triple12) -> rule2) ((((triple12) -> rule2)) -> rule4)) -> rule5) ((triple10 triple12) -> rule8)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule2) ((triple11) -> rule4)) -> rule5) ((triple10 triple12) -> rule8)) -> rule3) OR ((((triple11 ((((triple12) -> rule2)) -> rule4)) -> rule5) ((((triple12) -> rule9) ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((((triple12) -> rule2) ((((triple12) -> rule2)) -> rule4)) -> rule5) ((triple10 ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((((triple12) -> rule2) ((((triple12) -> rule2)) -> rule4)) -> rule5) ((((triple12) -> rule9) triple12) -> rule8)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule2) ((triple11) -> rule4)) -> rule5) ((triple10 ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule2) ((triple11) -> rule4)) -> rule5) ((((triple12) -> rule9) triple12) -> rule8)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule2) ((((triple12) -> rule2)) -> rule4)) -> rule5) ((triple10 triple12) -> rule8)) -> rule3) OR ((((((triple12) -> rule2) ((((triple12) -> rule2)) -> rule4)) -> rule5) ((((triple12) -> rule9) ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule2) ((triple11) -> rule4)) -> rule5) ((((triple12) -> rule9) ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule2) ((((triple12) -> rule2)) -> rule4)) -> rule5) ((triple10 ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule2) ((((triple12) -> rule2)) -> rule4)) -> rule5) ((((triple12) -> rule9) triple12) -> rule8)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule2) ((((triple12) -> rule2)) -> rule4)) -> rule5) ((((triple12) -> rule9) ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((triple11 ((((((triple10) -> rule7)) -> rule2)) -> rule4)) -> rule5) ((triple10 triple12) -> rule8)) -> rule3) OR ((((triple11 ((((((triple10) -> rule7)) -> rule2)) -> rule4)) -> rule5) ((triple10 ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((triple11 ((((((triple10) -> rule7)) -> rule2)) -> rule4)) -> rule5) ((((triple12) -> rule9) triple12) -> rule8)) -> rule3) OR ((((((triple12) -> rule2) ((((((triple10) -> rule7)) -> rule2)) -> rule4)) -> rule5) ((triple10 triple12) -> rule8)) -> rule3) OR ((((triple11 ((((((triple10) -> rule7)) -> rule2)) -> rule4)) -> rule5) ((((triple12) -> rule9) ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((((triple12) -> rule2) ((((((triple10) -> rule7)) -> rule2)) -> rule4)) -> rule5) ((triple10 ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((((triple12) -> rule2) ((((((triple10) -> rule7)) -> rule2)) -> rule4)) -> rule5) ((((triple12) -> rule9) triple12) -> rule8)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule2) ((((((triple10) -> rule7)) -> rule2)) -> rule4)) -> rule5) ((triple10 triple12) -> rule8)) -> rule3) OR ((((((triple12) -> rule2) ((((((triple10) -> rule7)) -> rule2)) -> rule4)) -> rule5) ((((triple12) -> rule9) ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule2) ((((((triple10) -> rule7)) -> rule2)) -> rule4)) -> rule5) ((triple10 ((triple10) -> rule7)) -> rule8)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule2) ((((((triple10) -> rule7)) -> rule2)) -> rule4)) -> rule5) ((((triple12) -> rule9) triple12) -> rule8)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule2) ((((((triple10) -> rule7)) -> rule2)) -> rule4)) -> rule5) ((((triple12) -> rule9) ((triple10) -> rule7)) -> rule8)) -> rule3))] @3: Bob is green.[(((((((triple2) -> rule7)) -> rule2)) -> rule4))] @4: Bob is cold.[(((((((triple2) -> rule7)) -> rule2) ((((((triple2) -> rule7)) -> rule2)) -> rule4)) -> rule5))] @5: Bob is nice.[(((((((((triple2) -> rule7)) -> rule2) ((((((triple2) -> rule7)) -> rule2)) -> rule4)) -> rule5) triple1) -> rule3) OR ((((((((triple2) -> rule7)) -> rule2) ((((((triple2) -> rule7)) -> rule2)) -> rule4)) -> rule5) ((triple2 ((triple2) -> rule7)) -> rule8)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple2 ((triple2) -> (rule7 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
((triple6 triple5) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple6 ((triple6) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((((triple3 triple5) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple3 triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((triple6) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
triple5
((triple6) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
((((((triple3 triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
((triple11 ((triple11) -> (rule4 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple12) -> (rule2 % int3)) ((triple11) -> (rule4 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((triple11 ((((triple12) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple12) -> (rule2 % int3)) ((((triple12) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((triple11) -> (rule4 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple12) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple11 ((((((triple10) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple12) -> (rule2 % int4)) ((((((triple10) -> (rule7 % int3))) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple10) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
triple10
((triple12) -> (rule9 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple11
((triple12) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
triple12
((triple10) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple2) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple4 triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple6 triple5) -> (rule5 % int2)) triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple6 ((triple6) -> (rule4 % int3))) -> (rule5 % int2)) triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((((((triple3 triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) triple5) -> (rule5 % int2)) triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple3 triple5) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule2 % int4)) ((triple6) -> (rule4 % int3))) -> (rule5 % int2)) triple3) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
Fiona is round.
("Fiona" "is" "round" "+")
((triple3 triple5) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple3 ((triple6) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple10 triple12) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple10 ((triple10) -> (rule7 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple12) -> (rule9 % int2)) triple12) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple12) -> (rule9 % int3)) ((triple10) -> (rule7 % int2))) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
((triple11) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple12) -> (rule2 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple10) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
((((triple2) -> (rule7 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((((triple3 triple5) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple3 ((triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((triple9 ((triple10 triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((triple9 ((triple10 ((triple10) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple9 ((((triple12) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple9 ((((triple12) -> (rule9 % int4)) ((triple10) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple11 ((triple11) -> (rule4 % int4))) -> (rule5 % int3)) ((triple10 triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple11 ((triple11) -> (rule4 % int5))) -> (rule5 % int4)) ((triple10 ((triple10) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple11 ((triple11) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple12) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple12) -> (rule2 % int5)) ((triple11) -> (rule4 % int4))) -> (rule5 % int3)) ((triple10 triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple11 ((triple11) -> (rule4 % int6))) -> (rule5 % int5)) ((((triple12) -> (rule9 % int4)) ((triple10) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
((((((triple12) -> (rule2 % int6)) ((triple11) -> (rule4 % int5))) -> (rule5 % int4)) ((triple10 ((triple10) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((triple12) -> (rule2 % int6)) ((triple11) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple12) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((triple12) -> (rule2 % int7)) ((triple11) -> (rule4 % int6))) -> (rule5 % int5)) ((((triple12) -> (rule9 % int4)) ((triple10) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((triple11 ((((triple12) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple10 triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple11 ((((triple12) -> (rule2 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((triple10 ((triple10) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((triple11 ((((triple12) -> (rule2 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple12) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((triple12) -> (rule2 % int5)) ((((triple12) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple10 triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple10) -> (rule7 % int6))) -> (rule2 % int5)) ((triple11) -> (rule4 % int4))) -> (rule5 % int3)) ((triple10 triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((triple11 ((((triple12) -> (rule2 % int7))) -> (rule4 % int6))) -> (rule5 % int5)) ((((triple12) -> (rule9 % int4)) ((triple10) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((triple12) -> (rule2 % int6)) ((((triple12) -> (rule2 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((triple10 ((triple10) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((triple12) -> (rule2 % int6)) ((((triple12) -> (rule2 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple12) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((((triple10) -> (rule7 % int6))) -> (rule2 % int5)) ((triple11) -> (rule4 % int4))) -> (rule5 % int3)) ((triple10 ((triple10) -> (rule7 % int6))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((((((triple10) -> (rule7 % int7))) -> (rule2 % int6)) ((triple11) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple12) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is young.
("Harry" "is" "young" "+")
int7
((((((((triple10) -> (rule7 % int6))) -> (rule2 % int5)) ((((triple12) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple10 triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((((triple12) -> (rule2 % int7)) ((((triple12) -> (rule2 % int7))) -> (rule4 % int6))) -> (rule5 % int5)) ((((triple12) -> (rule9 % int4)) ((triple10) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is cold.
("Harry" "is" "cold" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((triple10) -> (rule7 % int7))) -> (rule2 % int6)) ((triple11) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple12) -> (rule9 % int3)) ((triple10) -> (rule7 % int7))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is young.
("Harry" "is" "young" "+")
int7
((((((((triple10) -> (rule7 % int6))) -> (rule2 % int5)) ((((triple12) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple10 ((triple10) -> (rule7 % int6))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((((((triple10) -> (rule7 % int7))) -> (rule2 % int6)) ((((triple12) -> (rule2 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple12) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is young.
("Harry" "is" "young" "+")
int7
((((((((triple10) -> (rule7 % int7))) -> (rule2 % int6)) ((((triple12) -> (rule2 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple12) -> (rule9 % int3)) ((triple10) -> (rule7 % int7))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is young.
("Harry" "is" "young" "+")
int7
((((triple11 ((((((triple10) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple10 triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((triple11 ((((((triple10) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple10 ((triple10) -> (rule7 % int6))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((triple11 ((((((triple10) -> (rule7 % int7))) -> (rule2 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple12) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is young.
("Harry" "is" "young" "+")
int7
((((((triple12) -> (rule2 % int6)) ((((((triple10) -> (rule7 % int5))) -> (rule2 % int6))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple10 triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((triple11 ((((((triple10) -> (rule7 % int7))) -> (rule2 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple12) -> (rule9 % int3)) ((triple10) -> (rule7 % int7))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is young.
("Harry" "is" "young" "+")
int7
((((((triple12) -> (rule2 % int6)) ((((((triple10) -> (rule7 % int5))) -> (rule2 % int6))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple10 ((triple10) -> (rule7 % int5))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((triple12) -> (rule2 % int7)) ((((((triple10) -> (rule7 % int6))) -> (rule2 % int7))) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple12) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((triple10) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple10) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple10 triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((((triple12) -> (rule2 % int7)) ((((((triple10) -> (rule7 % int6))) -> (rule2 % int7))) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple12) -> (rule9 % int3)) ((triple10) -> (rule7 % int6))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
int7
((((((((triple10) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple10) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple10 ((triple10) -> (rule7 % int6))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((((((triple10) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple10) -> (rule7 % int7))) -> (rule2 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple12) -> (rule9 % int3)) triple12) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is young.
("Harry" "is" "young" "+")
int7
((((((((triple10) -> (rule7 % int7))) -> (rule2 % int6)) ((((((triple10) -> (rule7 % int7))) -> (rule2 % int6))) -> (rule4 % int5))) -> (rule5 % int4)) ((((triple12) -> (rule9 % int3)) ((triple10) -> (rule7 % int7))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
Harry is young.
("Harry" "is" "young" "+")
int7
Bob is green.
("Bob" "is" "green" "+")
((((((triple2) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
((((((triple2) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple2) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
((((((((triple2) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2)) triple1) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2) -> (rule7 % int6))) -> (rule2 % int5)) ((((((triple2) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule7 % int6))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6