Charlie is furry. Charlie is round. Charlie is young. Erin is big. Erin is nice. Erin is rough. Erin is young. Fiona is big. Fiona is nice. Harry is big. Harry is nice. If something is young then it is kind. All kind things are young. If something is nice and rough then it is furry. If something is nice then it is young. Rough, kind things are furry. All round things are rough. If something is young and kind then it is round.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If something is young then it is kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
All kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something is nice and rough then it is furry.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
If something is nice then it is young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Rough, kind things are furry.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
All round things are rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something is young and kind then it is round.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
Fiona is nice.
True
1
proof
[(triple9)]
("Fiona" "is" "nice" "+")
triple9
Harry is not big.
False
1
inv-proof
[(triple10)]
("Harry" "is" "big" "-")
triple10
Erin is furry.
True
3
proof
[(((triple5 triple6) -> rule3) OR ((triple6 ((triple7) -> rule1)) -> rule5) OR ((triple6 ((((triple5) -> rule4)) -> rule1)) -> rule5) OR ((triple5 ((((triple7 ((triple7) -> rule1)) -> rule7)) -> rule6)) -> rule3) OR ((triple5 ((((((triple5) -> rule4) ((triple7) -> rule1)) -> rule7)) -> rule6)) -> rule3) OR ((((((triple7 ((triple7) -> rule1)) -> rule7)) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple7 ((triple7) -> rule1)) -> rule7)) -> rule6) ((((triple5) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple5) -> rule4) ((triple7) -> rule1)) -> rule7)) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((triple5) -> rule4) ((triple7) -> rule1)) -> rule7)) -> rule6) ((((triple5) -> rule4)) -> rule1)) -> rule5) OR ((triple5 ((((triple7 ((((triple5) -> rule4)) -> rule1)) -> rule7)) -> rule6)) -> rule3) OR ((triple5 ((((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule7)) -> rule6)) -> rule3) OR ((((((triple7 ((((triple5) -> rule4)) -> rule1)) -> rule7)) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple7 ((((triple5) -> rule4)) -> rule1)) -> rule7)) -> rule6) ((((triple5) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule7)) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule7)) -> rule6) ((((triple5) -> rule4)) -> rule1)) -> rule5))]
("Erin" "is" "furry" "+")
((triple5 triple6) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple6 ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((triple6 ((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple5 ((((triple7 ((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((triple5 ((((((triple5) -> (rule4 % int5)) ((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple5) -> (rule4 % int2))) -> (rule1 % int5))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((((triple5) -> (rule4 % int5)) ((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((triple5) -> (rule4 % int5)) ((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((triple5 ((((triple7 ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((triple5 ((((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple7 ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple7 ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Fiona is not young.
False
2
inv-proof
[(((triple9) -> rule4))]
("Fiona" "is" "young" "-")
((triple9) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Erin is round.
True
4
proof
[(((triple7 ((triple7) -> rule1)) -> rule7) OR ((((triple5) -> rule4) ((triple7) -> rule1)) -> rule7) OR ((triple7 ((((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule7))]
("Erin" "is" "round" "+")
((triple7 ((triple7) -> (rule1 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple7) -> (rule1 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple7 ((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((triple5) -> (rule4 % int3)) ((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is not round.
False
4
inv-proof
[(((triple7 ((triple7) -> rule1)) -> rule7) OR ((((triple5) -> rule4) ((triple7) -> rule1)) -> rule7) OR ((triple7 ((((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule7))]
("Erin" "is" "round" "-")
((triple7 ((triple7) -> (rule1 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple7) -> (rule1 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple7 ((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((triple5) -> (rule4 % int3)) ((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Harry is round.
True
6
proof
[(((((triple11) -> rule4) ((((triple11) -> rule4)) -> rule1)) -> rule7))]
("Harry" "is" "round" "+")
((((triple11) -> (rule4 % int3)) ((((triple11) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Fiona is not round.
False
6
inv-proof
[(((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule1)) -> rule7))]
("Fiona" "is" "round" "-")
((((triple9) -> (rule4 % int3)) ((((triple9) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is rough.
True
7
proof
[(((((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule1)) -> rule7)) -> rule6))]
("Fiona" "is" "rough" "+")
((((((triple9) -> (rule4 % int4)) ((((triple9) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Harry is not rough.
False
7
inv-proof
[(((((((triple11) -> rule4) ((((triple11) -> rule4)) -> rule1)) -> rule7)) -> rule6))]
("Harry" "is" "rough" "-")
((((((triple11) -> (rule4 % int4)) ((((triple11) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is furry.
True
9
proof
[(((triple11 ((((((triple11) -> rule4) ((((triple11) -> rule4)) -> rule1)) -> rule7)) -> rule6)) -> rule3) OR ((((((((triple11) -> rule4) ((((triple11) -> rule4)) -> rule1)) -> rule7)) -> rule6) ((((triple11) -> rule4)) -> rule1)) -> rule5))]
("Harry" "is" "furry" "+")
((triple11 ((((((triple11) -> (rule4 % int5)) ((((triple11) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((((triple11) -> (rule4 % int5)) ((((triple11) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple11) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Fiona is not furry.
False
9
inv-proof
[(((triple9 ((((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule1)) -> rule7)) -> rule6)) -> rule3) OR ((((((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule1)) -> rule7)) -> rule6) ((((triple9) -> rule4)) -> rule1)) -> rule5))]
("Fiona" "is" "furry" "-")
((triple9 ((((((triple9) -> (rule4 % int5)) ((((triple9) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((((triple9) -> (rule4 % int5)) ((((triple9) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple9) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Charlie is furry.[(triple1 OR ((((triple2) -> rule6) ((triple3) -> rule1)) -> rule5) OR ((((((triple3 ((triple3) -> rule1)) -> rule7)) -> rule6) ((triple3) -> rule1)) -> rule5))] Charlie is round.[(triple2 OR ((triple3 ((triple3) -> rule1)) -> rule7))] Charlie is young.[(triple3)] Erin is big.[(triple4)] Erin is nice.[(triple5)] Erin is rough.[(triple6 OR ((((triple7 ((triple7) -> rule1)) -> rule7)) -> rule6) OR ((((((triple5) -> rule4) ((triple7) -> rule1)) -> rule7)) -> rule6) OR ((((triple7 ((((triple5) -> rule4)) -> rule1)) -> rule7)) -> rule6) OR ((((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule7)) -> rule6))] Erin is young.[(triple7 OR ((triple5) -> rule4))] Fiona is big.[(triple8)] Fiona is nice.[(triple9)] Harry is big.[(triple10)] Harry is nice.[(triple11)] @1: Charlie is kind.[(((triple3) -> rule1))] Charlie is rough.[(((triple2) -> rule6) OR ((((triple3 ((triple3) -> rule1)) -> rule7)) -> rule6))] Erin is furry.[(((triple5 triple6) -> rule3) OR ((triple6 ((triple7) -> rule1)) -> rule5) OR ((triple6 ((((triple5) -> rule4)) -> rule1)) -> rule5) OR ((triple5 ((((triple7 ((triple7) -> rule1)) -> rule7)) -> rule6)) -> rule3) OR ((triple5 ((((((triple5) -> rule4) ((triple7) -> rule1)) -> rule7)) -> rule6)) -> rule3) OR ((((((triple7 ((triple7) -> rule1)) -> rule7)) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple7 ((triple7) -> rule1)) -> rule7)) -> rule6) ((((triple5) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple5) -> rule4) ((triple7) -> rule1)) -> rule7)) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((triple5) -> rule4) ((triple7) -> rule1)) -> rule7)) -> rule6) ((((triple5) -> rule4)) -> rule1)) -> rule5) OR ((triple5 ((((triple7 ((((triple5) -> rule4)) -> rule1)) -> rule7)) -> rule6)) -> rule3) OR ((triple5 ((((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule7)) -> rule6)) -> rule3) OR ((((((triple7 ((((triple5) -> rule4)) -> rule1)) -> rule7)) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple7 ((((triple5) -> rule4)) -> rule1)) -> rule7)) -> rule6) ((((triple5) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule7)) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule7)) -> rule6) ((((triple5) -> rule4)) -> rule1)) -> rule5))] Erin is kind.[(((triple7) -> rule1) OR ((((triple5) -> rule4)) -> rule1))] Fiona is young.[(((triple9) -> rule4))] Harry is young.[(((triple11) -> rule4))] @2: Erin is round.[(((triple7 ((triple7) -> rule1)) -> rule7) OR ((((triple5) -> rule4) ((triple7) -> rule1)) -> rule7) OR ((triple7 ((((triple5) -> rule4)) -> rule1)) -> rule7) OR ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule1)) -> rule7))] Fiona is kind.[(((((triple9) -> rule4)) -> rule1))] Harry is kind.[(((((triple11) -> rule4)) -> rule1))] @3: Fiona is round.[(((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule1)) -> rule7))] Harry is round.[(((((triple11) -> rule4) ((((triple11) -> rule4)) -> rule1)) -> rule7))] @4: Fiona is rough.[(((((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule1)) -> rule7)) -> rule6))] Harry is rough.[(((((((triple11) -> rule4) ((((triple11) -> rule4)) -> rule1)) -> rule7)) -> rule6))] @5: Fiona is furry.[(((triple9 ((((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule1)) -> rule7)) -> rule6)) -> rule3) OR ((((((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule1)) -> rule7)) -> rule6) ((((triple9) -> rule4)) -> rule1)) -> rule5))] Harry is furry.[(((triple11 ((((((triple11) -> rule4) ((((triple11) -> rule4)) -> rule1)) -> rule7)) -> rule6)) -> rule3) OR ((((((((triple11) -> rule4) ((((triple11) -> rule4)) -> rule1)) -> rule7)) -> rule6) ((((triple11) -> rule4)) -> rule1)) -> rule5))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
((((triple2) -> (rule6 % int3)) ((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple3 ((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple3) -> (rule1 % int4))) -> (rule5 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
triple2
((triple3 ((triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
((((triple7 ((triple7) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple5) -> (rule4 % int4)) ((triple7) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple7 ((((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple5) -> (rule4 % int4)) ((((triple5) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
triple7
((triple5) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple3) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple3 ((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
((triple5 triple6) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple6 ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((triple6 ((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple5 ((((triple7 ((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((triple5 ((((((triple5) -> (rule4 % int5)) ((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple7 ((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple7 ((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple5) -> (rule4 % int2))) -> (rule1 % int5))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((((triple5) -> (rule4 % int5)) ((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((triple5) -> (rule4 % int5)) ((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((triple5 ((((triple7 ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((triple5 ((((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple7 ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple7 ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((((triple5) -> (rule4 % int5)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
((triple7) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((triple9) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple11) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple7 ((triple7) -> (rule1 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple7) -> (rule1 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple7 ((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((triple5) -> (rule4 % int3)) ((((triple5) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple9) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((triple11) -> (rule4 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((triple9) -> (rule4 % int3)) ((((triple9) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
((((triple11) -> (rule4 % int3)) ((((triple11) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((((((triple9) -> (rule4 % int4)) ((((triple9) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
((((((triple11) -> (rule4 % int4)) ((((triple11) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple9 ((((((triple9) -> (rule4 % int5)) ((((triple9) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((((triple9) -> (rule4 % int5)) ((((triple9) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple9) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
((triple11 ((((((triple11) -> (rule4 % int5)) ((((triple11) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((((triple11) -> (rule4 % int5)) ((((triple11) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple11) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5