Bob is not blue. Erin is white. Fiona is big. Fiona is kind. Fiona is red. Fiona is round. Fiona is white. Harry is big. Harry is blue. Harry is white. Harry is young. White people are young. Round, blue people are kind. All young people are kind. If someone is kind and young then they are blue. Blue, red people are big. All blue people are red.
Bob is not blue.
("Bob" "is" "blue" "-")
Erin is white.
("Erin" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
White people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
Round, blue people are kind.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
All young people are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Blue, red people are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
All blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Fiona is red.
True
1
proof
[(triple5 OR ((((triple4 ((triple7) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple7) -> rule1)) -> rule3) ((triple7) -> rule1)) -> rule4)) -> rule6))]
("Fiona" "is" "red" "+")
triple5
((((triple4 ((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((((triple7) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Harry is not white.
False
1
inv-proof
[(triple10)]
("Harry" "is" "white" "-")
triple10
Harry is kind.
True
2
proof
[(((triple11) -> rule3) OR ((((triple10) -> rule1)) -> rule3))]
("Harry" "is" "kind" "+")
((triple11) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not kind.
False
2
inv-proof
[(((triple11) -> rule3) OR ((((triple10) -> rule1)) -> rule3))]
("Harry" "is" "kind" "-")
((triple11) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Fiona is blue.
True
4
proof
[(((triple4 ((triple7) -> rule1)) -> rule4) OR ((((((triple7) -> rule1)) -> rule3) ((triple7) -> rule1)) -> rule4))]
("Fiona" "is" "blue" "+")
((triple4 ((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((((triple7) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7) -> (rule1 % int3))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is not blue.
False
4
inv-proof
[(((triple4 ((triple7) -> rule1)) -> rule4) OR ((((((triple7) -> rule1)) -> rule3) ((triple7) -> rule1)) -> rule4))]
("Fiona" "is" "blue" "-")
((triple4 ((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((((triple7) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7) -> (rule1 % int3))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Erin is blue.
True
6
proof
[(((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule4))]
("Erin" "is" "blue" "+")
((((((triple2) -> (rule1 % int3))) -> (rule3 % int2)) ((triple2) -> (rule1 % int3))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is not blue.
False
6
inv-proof
[(((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule4))]
("Erin" "is" "blue" "-")
((((((triple2) -> (rule1 % int3))) -> (rule3 % int2)) ((triple2) -> (rule1 % int3))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
True
7
proof
[(((((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule4)) -> rule6))]
("Erin" "is" "red" "+")
((((((((triple2) -> (rule1 % int4))) -> (rule3 % int3)) ((triple2) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is not red.
False
7
inv-proof
[(((((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule4)) -> rule6))]
("Erin" "is" "red" "-")
((((((((triple2) -> (rule1 % int4))) -> (rule3 % int3)) ((triple2) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is big.
True
14
proof
[(((((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule4) ((((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule4)) -> rule6)) -> rule5))]
("Erin" "is" "big" "+")
((((((((triple2) -> (rule1 % int5))) -> (rule3 % int4)) ((triple2) -> (rule1 % int5))) -> (rule4 % int3)) ((((((((triple2) -> (rule1 % int5))) -> (rule3 % int4)) ((triple2) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is not big.
False
14
inv-proof
[(((((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule4) ((((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule4)) -> rule6)) -> rule5))]
("Erin" "is" "big" "-")
((((((((triple2) -> (rule1 % int5))) -> (rule3 % int4)) ((triple2) -> (rule1 % int5))) -> (rule4 % int3)) ((((((((triple2) -> (rule1 % int5))) -> (rule3 % int4)) ((triple2) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not kind.
Unknown
inv-rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "red" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Bob is not blue.[(triple1)] Erin is white.[(triple2)] Fiona is big.[(triple3 OR ((((triple4 ((triple7) -> rule1)) -> rule4) triple5) -> rule5) OR ((((((((triple7) -> rule1)) -> rule3) ((triple7) -> rule1)) -> rule4) triple5) -> rule5) OR ((((triple4 ((triple7) -> rule1)) -> rule4) ((((triple4 ((triple7) -> rule1)) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple7) -> rule1)) -> rule3) ((triple7) -> rule1)) -> rule4) ((((triple4 ((triple7) -> rule1)) -> rule4)) -> rule6)) -> rule5) OR ((((triple4 ((triple7) -> rule1)) -> rule4) ((((((((triple7) -> rule1)) -> rule3) ((triple7) -> rule1)) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple7) -> rule1)) -> rule3) ((triple7) -> rule1)) -> rule4) ((((((((triple7) -> rule1)) -> rule3) ((triple7) -> rule1)) -> rule4)) -> rule6)) -> rule5))] Fiona is kind.[(triple4 OR ((((triple7) -> rule1)) -> rule3))] Fiona is red.[(triple5 OR ((((triple4 ((triple7) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple7) -> rule1)) -> rule3) ((triple7) -> rule1)) -> rule4)) -> rule6))] Fiona is round.[(triple6)] Fiona is white.[(triple7)] Harry is big.[(triple8 OR ((triple9 ((triple9) -> rule6)) -> rule5) OR ((((((triple11) -> rule3) triple11) -> rule4) ((triple9) -> rule6)) -> rule5) OR ((((((triple11) -> rule3) ((triple10) -> rule1)) -> rule4) ((triple9) -> rule6)) -> rule5) OR ((triple9 ((((((triple11) -> rule3) triple11) -> rule4)) -> rule6)) -> rule5) OR ((triple9 ((((((triple11) -> rule3) ((triple10) -> rule1)) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple10) -> rule1)) -> rule3) triple11) -> rule4) ((triple9) -> rule6)) -> rule5) OR ((((((triple11) -> rule3) triple11) -> rule4) ((((((triple11) -> rule3) triple11) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule4) ((triple9) -> rule6)) -> rule5) OR ((((((triple11) -> rule3) triple11) -> rule4) ((((((triple11) -> rule3) ((triple10) -> rule1)) -> rule4)) -> rule6)) -> rule5) OR ((((((triple11) -> rule3) ((triple10) -> rule1)) -> rule4) ((((((triple11) -> rule3) triple11) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple10) -> rule1)) -> rule3) triple11) -> rule4) ((((((triple11) -> rule3) triple11) -> rule4)) -> rule6)) -> rule5) OR ((((((triple11) -> rule3) ((triple10) -> rule1)) -> rule4) ((((((triple11) -> rule3) ((triple10) -> rule1)) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple10) -> rule1)) -> rule3) triple11) -> rule4) ((((((triple11) -> rule3) ((triple10) -> rule1)) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule4) ((((((triple11) -> rule3) triple11) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule4) ((((((triple11) -> rule3) ((triple10) -> rule1)) -> rule4)) -> rule6)) -> rule5) OR ((triple9 ((((((((triple10) -> rule1)) -> rule3) triple11) -> rule4)) -> rule6)) -> rule5) OR ((triple9 ((((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule4)) -> rule6)) -> rule5) OR ((((((triple11) -> rule3) triple11) -> rule4) ((((((((triple10) -> rule1)) -> rule3) triple11) -> rule4)) -> rule6)) -> rule5) OR ((((((triple11) -> rule3) triple11) -> rule4) ((((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule4)) -> rule6)) -> rule5) OR ((((((triple11) -> rule3) ((triple10) -> rule1)) -> rule4) ((((((((triple10) -> rule1)) -> rule3) triple11) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple10) -> rule1)) -> rule3) triple11) -> rule4) ((((((((triple10) -> rule1)) -> rule3) triple11) -> rule4)) -> rule6)) -> rule5) OR ((((((triple11) -> rule3) ((triple10) -> rule1)) -> rule4) ((((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple10) -> rule1)) -> rule3) triple11) -> rule4) ((((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule4) ((((((((triple10) -> rule1)) -> rule3) triple11) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule4) ((((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule4)) -> rule6)) -> rule5))] Harry is blue.[(triple9 OR ((((triple11) -> rule3) triple11) -> rule4) OR ((((triple11) -> rule3) ((triple10) -> rule1)) -> rule4) OR ((((((triple10) -> rule1)) -> rule3) triple11) -> rule4) OR ((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule4))] Harry is white.[(triple10)] Harry is young.[(triple11 OR ((triple10) -> rule1))] @1: Erin is young.[(((triple2) -> rule1))] Fiona is young.[(((triple7) -> rule1))] Harry is kind.[(((triple11) -> rule3) OR ((((triple10) -> rule1)) -> rule3))] Harry is red.[(((triple9) -> rule6) OR ((((((triple11) -> rule3) triple11) -> rule4)) -> rule6) OR ((((((triple11) -> rule3) ((triple10) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule3) triple11) -> rule4)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule3) ((triple10) -> rule1)) -> rule4)) -> rule6))] @2: Erin is kind.[(((((triple2) -> rule1)) -> rule3))] Fiona is blue.[(((triple4 ((triple7) -> rule1)) -> rule4) OR ((((((triple7) -> rule1)) -> rule3) ((triple7) -> rule1)) -> rule4))] @3: Erin is blue.[(((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule4))] @4: Erin is red.[(((((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule4)) -> rule6))] @5: Erin is big.[(((((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule4) ((((((((triple2) -> rule1)) -> rule3) ((triple2) -> rule1)) -> rule4)) -> rule6)) -> rule5))]
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Erin is white.
("Erin" "is" "white" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
((((triple4 ((triple7) -> (rule1 % int3))) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((((triple7) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2)) triple5) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple4 ((triple7) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple4 ((triple7) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((((triple7) -> (rule1 % int5))) -> (rule3 % int4)) ((triple7) -> (rule1 % int5))) -> (rule4 % int3)) ((((triple4 ((triple7) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((triple4 ((triple7) -> (rule1 % int5))) -> (rule4 % int4)) ((((((((triple7) -> (rule1 % int5))) -> (rule3 % int3)) ((triple7) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((((triple7) -> (rule1 % int5))) -> (rule3 % int4)) ((triple7) -> (rule1 % int5))) -> (rule4 % int3)) ((((((((triple7) -> (rule1 % int5))) -> (rule3 % int4)) ((triple7) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
triple5
((((triple4 ((triple7) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((((((triple7) -> (rule1 % int4))) -> (rule3 % int3)) ((triple7) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
((triple9 ((triple9) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple9) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple11) -> (rule3 % int5)) ((triple10) -> (rule1 % int4))) -> (rule4 % int3)) ((triple9) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((triple9 ((((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((triple9 ((((((triple11) -> (rule3 % int5)) ((triple10) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((triple9) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4)) ((triple10) -> (rule1 % int5))) -> (rule4 % int3)) ((triple9) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple11) -> (rule3 % int5)) triple11) -> (rule4 % int4)) ((((((triple11) -> (rule3 % int5)) ((triple10) -> (rule1 % int3))) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((triple11) -> (rule3 % int5)) ((triple10) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple11) -> (rule3 % int5)) triple11) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple11) -> (rule3 % int5)) ((triple10) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple11) -> (rule3 % int5)) ((triple10) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((((((triple11) -> (rule3 % int4)) ((triple10) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4)) ((triple10) -> (rule1 % int5))) -> (rule4 % int3)) ((((((triple11) -> (rule3 % int4)) triple11) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4)) ((triple10) -> (rule1 % int5))) -> (rule4 % int3)) ((((((triple11) -> (rule3 % int4)) ((triple10) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((triple9 ((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((triple9 ((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4)) ((triple10) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple11) -> (rule3 % int5)) triple11) -> (rule4 % int4)) ((((((((triple10) -> (rule1 % int3))) -> (rule3 % int5)) triple11) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((triple11) -> (rule3 % int5)) triple11) -> (rule4 % int4)) ((((((((triple10) -> (rule1 % int3))) -> (rule3 % int5)) ((triple10) -> (rule1 % int3))) -> (rule4 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((triple11) -> (rule3 % int5)) ((triple10) -> (rule1 % int4))) -> (rule4 % int3)) ((((((((triple10) -> (rule1 % int4))) -> (rule3 % int5)) triple11) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple11) -> (rule3 % int5)) ((triple10) -> (rule1 % int4))) -> (rule4 % int3)) ((((((((triple10) -> (rule1 % int4))) -> (rule3 % int5)) ((triple10) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3)) ((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4)) ((triple10) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4)) ((triple10) -> (rule1 % int5))) -> (rule4 % int3)) ((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4)) triple11) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4)) ((triple10) -> (rule1 % int5))) -> (rule4 % int3)) ((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4)) ((triple10) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
triple9
((((triple11) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple11) -> (rule3 % int3)) ((triple10) -> (rule1 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple10) -> (rule1 % int3))) -> (rule3 % int2)) triple11) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((triple10) -> (rule1 % int3))) -> (rule3 % int2)) ((triple10) -> (rule1 % int3))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple11
((triple10) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple2) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple7) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple11) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple9) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((((triple11) -> (rule3 % int3)) triple11) -> (rule4 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple11) -> (rule3 % int4)) ((triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((((triple10) -> (rule1 % int4))) -> (rule3 % int3)) triple11) -> (rule4 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((((triple10) -> (rule1 % int4))) -> (rule3 % int3)) ((triple10) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple4 ((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((((triple7) -> (rule1 % int3))) -> (rule3 % int2)) ((triple7) -> (rule1 % int3))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
((((((triple2) -> (rule1 % int3))) -> (rule3 % int2)) ((triple2) -> (rule1 % int3))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
((((((((triple2) -> (rule1 % int4))) -> (rule3 % int3)) ((triple2) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
((((((((triple2) -> (rule1 % int5))) -> (rule3 % int4)) ((triple2) -> (rule1 % int5))) -> (rule4 % int3)) ((((((((triple2) -> (rule1 % int5))) -> (rule3 % int4)) ((triple2) -> (rule1 % int5))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5