Anne is nice. Anne is quiet. Anne is young. Bob is big. Bob is kind. Bob is nice. Bob is quiet. Fiona is smart. Fiona is young. Harry is big. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is smart. Harry is young. All quiet, blue people are kind. Smart, nice people are quiet. All quiet, nice people are kind. If someone is quiet and smart then they are blue. Smart, young people are big. All big people are kind. If Harry is blue and Harry is quiet then Harry is young. All kind people are nice. If Fiona is big then Fiona is kind.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
All quiet, blue people are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Smart, nice people are quiet.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
All quiet, nice people are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is quiet and smart then they are blue.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
Smart, young people are big.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
All big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If Harry is blue and Harry is quiet then Harry is young.
((("Harry" "is" "blue" "+") ("Harry" "is" "quiet" "+")) -> ("Harry" "is" "young" "+"))
All kind people are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If Fiona is big then Fiona is kind.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "kind" "+"))
Anne is quiet.
True
1
proof
[(triple2)]
("Anne" "is" "quiet" "+")
triple2
Harry is not blue.
False
1
inv-proof
[(triple11 OR ((triple14 triple15) -> rule4) OR ((((triple15 triple13) -> rule2) triple15) -> rule4) OR ((((triple15 ((triple12) -> rule8)) -> rule2) triple15) -> rule4) OR ((((triple15 ((((triple10) -> rule6)) -> rule8)) -> rule2) triple15) -> rule4) OR ((((triple15 ((((((triple15 triple16) -> rule5)) -> rule6)) -> rule8)) -> rule2) triple15) -> rule4))]
("Harry" "is" "blue" "-")
triple11
((triple14 triple15) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple15 triple13) -> (rule2 % int2)) triple15) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple15 ((triple12) -> (rule8 % int3))) -> (rule2 % int2)) triple15) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple15 ((((triple10) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2)) triple15) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple15 ((((((triple15 triple16) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2)) triple15) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Fiona is big.
True
3
proof
[(((triple8 triple9) -> rule5))]
("Fiona" "is" "big" "+")
((triple8 triple9) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
3
inv-proof
[(((triple8 triple9) -> rule5))]
("Fiona" "is" "big" "-")
((triple8 triple9) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
True
4
proof
[(((((triple8 triple9) -> rule5)) -> rule6) OR ((((triple8 triple9) -> rule5)) -> rule9))]
("Fiona" "is" "kind" "+")
((((triple8 triple9) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple8 triple9) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not kind.
False
4
inv-proof
[(((((triple8 triple9) -> rule5)) -> rule6) OR ((((triple8 triple9) -> rule5)) -> rule9))]
("Fiona" "is" "kind" "-")
((((triple8 triple9) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple8 triple9) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is nice.
True
5
proof
[(((((((triple8 triple9) -> rule5)) -> rule6)) -> rule8) OR ((((((triple8 triple9) -> rule5)) -> rule9)) -> rule8))]
("Fiona" "is" "nice" "+")
((((((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple8 triple9) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is not nice.
False
5
inv-proof
[(((((((triple8 triple9) -> rule5)) -> rule6)) -> rule8) OR ((((((triple8 triple9) -> rule5)) -> rule9)) -> rule8))]
("Fiona" "is" "nice" "-")
((((((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple8 triple9) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
True
7
proof
[(((triple8 ((((((triple8 triple9) -> rule5)) -> rule6)) -> rule8)) -> rule2) OR ((triple8 ((((((triple8 triple9) -> rule5)) -> rule9)) -> rule8)) -> rule2))]
("Fiona" "is" "quiet" "+")
((triple8 ((((((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((triple8 ((((((triple8 triple9) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is not quiet.
False
7
inv-proof
[(((triple8 ((((((triple8 triple9) -> rule5)) -> rule6)) -> rule8)) -> rule2) OR ((triple8 ((((((triple8 triple9) -> rule5)) -> rule9)) -> rule8)) -> rule2))]
("Fiona" "is" "quiet" "-")
((triple8 ((((((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((triple8 ((((((triple8 triple9) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is blue.
True
9
proof
[(((((triple8 ((((((triple8 triple9) -> rule5)) -> rule6)) -> rule8)) -> rule2) triple8) -> rule4) OR ((((triple8 ((((((triple8 triple9) -> rule5)) -> rule9)) -> rule8)) -> rule2) triple8) -> rule4))]
("Fiona" "is" "blue" "+")
((((triple8 ((((((triple8 triple9) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple8 ((((((triple8 triple9) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is not blue.
False
9
inv-proof
[(((((triple8 ((((((triple8 triple9) -> rule5)) -> rule6)) -> rule8)) -> rule2) triple8) -> rule4) OR ((((triple8 ((((((triple8 triple9) -> rule5)) -> rule9)) -> rule8)) -> rule2) triple8) -> rule4))]
("Fiona" "is" "blue" "-")
((((triple8 ((((((triple8 triple9) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple8 ((((((triple8 triple9) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "blue" "-")
Anne is big.
Unknown
rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "big" "+")
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "blue" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is young.[(triple3)] Bob is big.[(triple4)] Bob is kind.[(triple5 OR ((triple4) -> rule6) OR ((triple7 triple6) -> rule3))] Bob is nice.[(triple6 OR ((triple5) -> rule8) OR ((((triple4) -> rule6)) -> rule8))] Bob is quiet.[(triple7)] Fiona is smart.[(triple8)] Fiona is young.[(triple9)] Harry is big.[(triple10 OR ((triple15 triple16) -> rule5) OR ((triple15 ((triple11 triple14) -> rule7)) -> rule5) OR ((triple15 ((triple11 ((triple15 triple13) -> rule2)) -> rule7)) -> rule5) OR ((triple15 ((((triple14 triple15) -> rule4) triple14) -> rule7)) -> rule5) OR ((triple15 ((((triple14 triple15) -> rule4) ((triple15 triple13) -> rule2)) -> rule7)) -> rule5) OR ((triple15 ((triple11 ((triple15 ((triple12) -> rule8)) -> rule2)) -> rule7)) -> rule5) OR ((triple15 ((((((triple15 triple13) -> rule2) triple15) -> rule4) triple14) -> rule7)) -> rule5) OR ((triple15 ((((triple14 triple15) -> rule4) ((triple15 ((triple12) -> rule8)) -> rule2)) -> rule7)) -> rule5) OR ((triple15 ((((((triple15 triple13) -> rule2) triple15) -> rule4) ((triple15 triple13) -> rule2)) -> rule7)) -> rule5) OR ((triple15 ((((((triple15 triple13) -> rule2) triple15) -> rule4) ((triple15 ((triple12) -> rule8)) -> rule2)) -> rule7)) -> rule5) OR ((triple15 ((((((triple15 ((triple12) -> rule8)) -> rule2) triple15) -> rule4) triple14) -> rule7)) -> rule5) OR ((triple15 ((((((triple15 ((triple12) -> rule8)) -> rule2) triple15) -> rule4) ((triple15 triple13) -> rule2)) -> rule7)) -> rule5) OR ((triple15 ((((((triple15 ((triple12) -> rule8)) -> rule2) triple15) -> rule4) ((triple15 ((triple12) -> rule8)) -> rule2)) -> rule7)) -> rule5))] Harry is blue.[(triple11 OR ((triple14 triple15) -> rule4) OR ((((triple15 triple13) -> rule2) triple15) -> rule4) OR ((((triple15 ((triple12) -> rule8)) -> rule2) triple15) -> rule4) OR ((((triple15 ((((triple10) -> rule6)) -> rule8)) -> rule2) triple15) -> rule4) OR ((((triple15 ((((((triple15 triple16) -> rule5)) -> rule6)) -> rule8)) -> rule2) triple15) -> rule4))] Harry is kind.[(triple12 OR ((triple10) -> rule6) OR ((triple14 triple11) -> rule1) OR ((triple14 triple13) -> rule3) OR ((((triple15 triple16) -> rule5)) -> rule6) OR ((triple14 ((triple14 triple15) -> rule4)) -> rule1) OR ((((triple15 triple13) -> rule2) triple11) -> rule1) OR ((((triple15 triple13) -> rule2) triple13) -> rule3) OR ((((triple15 triple13) -> rule2) ((triple14 triple15) -> rule4)) -> rule1) OR ((((triple15 ((triple11 triple14) -> rule7)) -> rule5)) -> rule6) OR ((triple14 ((((triple15 triple13) -> rule2) triple15) -> rule4)) -> rule1) OR ((((triple15 triple13) -> rule2) ((((triple15 triple13) -> rule2) triple15) -> rule4)) -> rule1) OR ((((triple15 ((triple11 ((triple15 triple13) -> rule2)) -> rule7)) -> rule5)) -> rule6) OR ((((triple15 ((((triple14 triple15) -> rule4) triple14) -> rule7)) -> rule5)) -> rule6) OR ((((triple15 ((((triple14 triple15) -> rule4) ((triple15 triple13) -> rule2)) -> rule7)) -> rule5)) -> rule6) OR ((((triple15 ((((((triple15 triple13) -> rule2) triple15) -> rule4) triple14) -> rule7)) -> rule5)) -> rule6) OR ((((triple15 ((((((triple15 triple13) -> rule2) triple15) -> rule4) ((triple15 triple13) -> rule2)) -> rule7)) -> rule5)) -> rule6))] Harry is nice.[(triple13 OR ((triple12) -> rule8) OR ((((triple10) -> rule6)) -> rule8) OR ((((triple14 triple11) -> rule1)) -> rule8) OR ((((((triple15 triple16) -> rule5)) -> rule6)) -> rule8) OR ((((triple14 ((triple14 triple15) -> rule4)) -> rule1)) -> rule8) OR ((((((triple15 ((triple11 triple14) -> rule7)) -> rule5)) -> rule6)) -> rule8) OR ((((((triple15 ((((triple14 triple15) -> rule4) triple14) -> rule7)) -> rule5)) -> rule6)) -> rule8))] Harry is quiet.[(triple14 OR ((triple15 triple13) -> rule2) OR ((triple15 ((triple12) -> rule8)) -> rule2) OR ((triple15 ((((triple10) -> rule6)) -> rule8)) -> rule2) OR ((triple15 ((((((triple15 triple16) -> rule5)) -> rule6)) -> rule8)) -> rule2))] Harry is smart.[(triple15)] Harry is young.[(triple16 OR ((triple11 triple14) -> rule7) OR ((triple11 ((triple15 triple13) -> rule2)) -> rule7) OR ((((triple14 triple15) -> rule4) triple14) -> rule7) OR ((((triple14 triple15) -> rule4) ((triple15 triple13) -> rule2)) -> rule7) OR ((triple11 ((triple15 ((triple12) -> rule8)) -> rule2)) -> rule7) OR ((((((triple15 triple13) -> rule2) triple15) -> rule4) triple14) -> rule7) OR ((((triple14 triple15) -> rule4) ((triple15 ((triple12) -> rule8)) -> rule2)) -> rule7) OR ((((((triple15 triple13) -> rule2) triple15) -> rule4) ((triple15 triple13) -> rule2)) -> rule7) OR ((((((triple15 triple13) -> rule2) triple15) -> rule4) ((triple15 ((triple12) -> rule8)) -> rule2)) -> rule7) OR ((triple11 ((triple15 ((((triple10) -> rule6)) -> rule8)) -> rule2)) -> rule7) OR ((((((triple15 ((triple12) -> rule8)) -> rule2) triple15) -> rule4) triple14) -> rule7) OR ((((triple14 triple15) -> rule4) ((triple15 ((((triple10) -> rule6)) -> rule8)) -> rule2)) -> rule7) OR ((((((triple15 ((triple12) -> rule8)) -> rule2) triple15) -> rule4) ((triple15 triple13) -> rule2)) -> rule7) OR ((((((triple15 triple13) -> rule2) triple15) -> rule4) ((triple15 ((((triple10) -> rule6)) -> rule8)) -> rule2)) -> rule7) OR ((((((triple15 ((triple12) -> rule8)) -> rule2) triple15) -> rule4) ((triple15 ((triple12) -> rule8)) -> rule2)) -> rule7) OR ((((((triple15 ((triple12) -> rule8)) -> rule2) triple15) -> rule4) ((triple15 ((((triple10) -> rule6)) -> rule8)) -> rule2)) -> rule7) OR ((((((triple15 ((((triple10) -> rule6)) -> rule8)) -> rule2) triple15) -> rule4) triple14) -> rule7) OR ((((((triple15 ((((triple10) -> rule6)) -> rule8)) -> rule2) triple15) -> rule4) ((triple15 triple13) -> rule2)) -> rule7) OR ((((((triple15 ((((triple10) -> rule6)) -> rule8)) -> rule2) triple15) -> rule4) ((triple15 ((triple12) -> rule8)) -> rule2)) -> rule7) OR ((((((triple15 ((((triple10) -> rule6)) -> rule8)) -> rule2) triple15) -> rule4) ((triple15 ((((triple10) -> rule6)) -> rule8)) -> rule2)) -> rule7))] @1: Anne is kind.[(((triple2 triple1) -> rule3))] Fiona is big.[(((triple8 triple9) -> rule5))] @2: Fiona is kind.[(((((triple8 triple9) -> rule5)) -> rule6) OR ((((triple8 triple9) -> rule5)) -> rule9))] @3: Fiona is nice.[(((((((triple8 triple9) -> rule5)) -> rule6)) -> rule8) OR ((((((triple8 triple9) -> rule5)) -> rule9)) -> rule8))] @4: Fiona is quiet.[(((triple8 ((((((triple8 triple9) -> rule5)) -> rule6)) -> rule8)) -> rule2) OR ((triple8 ((((((triple8 triple9) -> rule5)) -> rule9)) -> rule8)) -> rule2))] @5: Fiona is blue.[(((((triple8 ((((((triple8 triple9) -> rule5)) -> rule6)) -> rule8)) -> rule2) triple8) -> rule4) OR ((((triple8 ((((((triple8 triple9) -> rule5)) -> rule9)) -> rule8)) -> rule2) triple8) -> rule4))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple5
((triple4) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple7 triple6) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple6
((triple5) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
((triple15 triple16) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple15 ((triple11 triple14) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((triple15 ((triple11 ((triple15 triple13) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((triple15 ((((triple14 triple15) -> (rule4 % int3)) triple14) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple15 ((((triple14 triple15) -> (rule4 % int4)) ((triple15 triple13) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((triple15 ((triple11 ((triple15 ((triple12) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((triple15 ((((((triple15 triple13) -> (rule2 % int4)) triple15) -> (rule4 % int3)) triple14) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((triple15 ((((triple14 triple15) -> (rule4 % int5)) ((triple15 ((triple12) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((triple15 ((((((triple15 triple13) -> (rule2 % int4)) triple15) -> (rule4 % int3)) ((triple15 triple13) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((triple15 ((((((triple15 triple13) -> (rule2 % int5)) triple15) -> (rule4 % int4)) ((triple15 ((triple12) -> (rule8 % int3))) -> (rule2 % int5))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((triple15 ((((((triple15 ((triple12) -> (rule8 % int5))) -> (rule2 % int4)) triple15) -> (rule4 % int3)) triple14) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple15 ((((((triple15 ((triple12) -> (rule8 % int5))) -> (rule2 % int4)) triple15) -> (rule4 % int3)) ((triple15 triple13) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple15 ((((((triple15 ((triple12) -> (rule8 % int5))) -> (rule2 % int4)) triple15) -> (rule4 % int3)) ((triple15 ((triple12) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
triple11
((triple14 triple15) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple15 triple13) -> (rule2 % int2)) triple15) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple15 ((triple12) -> (rule8 % int3))) -> (rule2 % int2)) triple15) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple15 ((((triple10) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2)) triple15) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple15 ((((((triple15 triple16) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2)) triple15) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
triple12
((triple10) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple14 triple11) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple14 triple13) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((((triple15 triple16) -> (rule5 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((triple14 ((triple14 triple15) -> (rule4 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple15 triple13) -> (rule2 % int2)) triple11) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple15 triple13) -> (rule2 % int2)) triple13) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple15 triple13) -> (rule2 % int3)) ((triple14 triple15) -> (rule4 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple15 ((triple11 triple14) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((triple14 ((((triple15 triple13) -> (rule2 % int3)) triple15) -> (rule4 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple15 triple13) -> (rule2 % int3)) ((((triple15 triple13) -> (rule2 % int3)) triple15) -> (rule4 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple15 ((triple11 ((triple15 triple13) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple15 ((((triple14 triple15) -> (rule4 % int4)) triple14) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple15 ((((triple14 triple15) -> (rule4 % int5)) ((triple15 triple13) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple15 ((((((triple15 triple13) -> (rule2 % int5)) triple15) -> (rule4 % int4)) triple14) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((triple15 ((((((triple15 triple13) -> (rule2 % int5)) triple15) -> (rule4 % int4)) ((triple15 triple13) -> (rule2 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
triple13
((triple12) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple10) -> (rule6 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple14 triple11) -> (rule1 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((((triple15 triple16) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple14 ((triple14 triple15) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple15 ((triple11 triple14) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple15 ((((triple14 triple15) -> (rule4 % int5)) triple14) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
((triple15 triple13) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((triple15 ((triple12) -> (rule8 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((triple15 ((((triple10) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple15 ((((((triple15 triple16) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple11 triple14) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple11 ((triple15 triple13) -> (rule2 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple14 triple15) -> (rule4 % int2)) triple14) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple14 triple15) -> (rule4 % int3)) ((triple15 triple13) -> (rule2 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple11 ((triple15 ((triple12) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple15 triple13) -> (rule2 % int3)) triple15) -> (rule4 % int2)) triple14) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((triple14 triple15) -> (rule4 % int4)) ((triple15 ((triple12) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple15 triple13) -> (rule2 % int3)) triple15) -> (rule4 % int2)) ((triple15 triple13) -> (rule2 % int3))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple15 triple13) -> (rule2 % int4)) triple15) -> (rule4 % int3)) ((triple15 ((triple12) -> (rule8 % int2))) -> (rule2 % int4))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((triple11 ((triple15 ((((triple10) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple15 ((triple12) -> (rule8 % int4))) -> (rule2 % int3)) triple15) -> (rule4 % int2)) triple14) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple14 triple15) -> (rule4 % int5)) ((triple15 ((((triple10) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple15 ((triple12) -> (rule8 % int4))) -> (rule2 % int3)) triple15) -> (rule4 % int2)) ((triple15 triple13) -> (rule2 % int3))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple15 triple13) -> (rule2 % int5)) triple15) -> (rule4 % int4)) ((triple15 ((((triple10) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int5))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((triple15 ((triple12) -> (rule8 % int4))) -> (rule2 % int3)) triple15) -> (rule4 % int2)) ((triple15 ((triple12) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple15 ((triple12) -> (rule8 % int5))) -> (rule2 % int4)) triple15) -> (rule4 % int3)) ((triple15 ((((triple10) -> (rule6 % int2))) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple15 ((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int3)) triple15) -> (rule4 % int2)) triple14) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((triple15 ((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int3)) triple15) -> (rule4 % int2)) ((triple15 triple13) -> (rule2 % int3))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((triple15 ((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int3)) triple15) -> (rule4 % int2)) ((triple15 ((triple12) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((triple15 ((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int3)) triple15) -> (rule4 % int2)) ((triple15 ((((triple10) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
((triple2 triple1) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple8 triple9) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple8 triple9) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple8 triple9) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple8 triple9) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple8 ((((((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((triple8 ((((((triple8 triple9) -> (rule5 % int4))) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple8 ((((((triple8 triple9) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple8 ((((((triple8 triple9) -> (rule5 % int5))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5