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