Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Charlie is white. Fiona is furry. Fiona is red. Fiona is rough. Fiona is young. Harry is red. Harry is rough. Harry is white. If Fiona is white then Fiona is red. If something is red then it is nice. If something is red and rough then it is nice. If something is kind then it is furry. Red, rough things are young. If something is furry and kind then it is rough. If something is white and red then it is kind. All furry, kind things are nice.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
If Fiona is white then Fiona is red.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "red" "+"))
If something is red then it is nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If something is red and rough then it is nice.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If something is kind then it is furry.
((("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
Red, rough things are young.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If something is furry and kind then it is rough.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If something is white and red then it is kind.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
All furry, kind things are nice.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Harry is rough.
True
1
proof
[(triple11 OR ((((((triple12 triple10) -> rule7)) -> rule4) ((triple12 triple10) -> rule7)) -> rule6))]
("Harry" "is" "rough" "+")
triple11
((((((triple12 triple10) -> (rule7 % int3))) -> (rule4 % int2)) ((triple12 triple10) -> (rule7 % int3))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Charlie is not red.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "red" "-")
triple3
Charlie is nice.
True
2
proof
[(((triple3) -> rule2) OR ((triple1 triple2) -> rule8) OR ((triple3 triple4) -> rule3) OR ((triple1 ((triple5 triple3) -> rule7)) -> rule8) OR ((triple3 ((triple1 triple2) -> rule6)) -> rule3) OR ((((triple2) -> rule4) triple2) -> rule8) OR ((((triple2) -> rule4) ((triple5 triple3) -> rule7)) -> rule8) OR ((triple3 ((triple1 ((triple5 triple3) -> rule7)) -> rule6)) -> rule3) OR ((triple3 ((((triple2) -> rule4) triple2) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule7)) -> rule4) triple2) -> rule8) OR ((triple3 ((((triple2) -> rule4) ((triple5 triple3) -> rule7)) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule7)) -> rule4) ((triple5 triple3) -> rule7)) -> rule8) OR ((triple3 ((((((triple5 triple3) -> rule7)) -> rule4) triple2) -> rule6)) -> rule3) OR ((triple3 ((((((triple5 triple3) -> rule7)) -> rule4) ((triple5 triple3) -> rule7)) -> rule6)) -> rule3))]
("Charlie" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple1 triple2) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple3 triple4) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple1 ((triple5 triple3) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple3 ((triple1 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple2) -> (rule4 % int2)) triple2) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple5 triple3) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple3 ((triple1 ((triple5 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple3 ((((triple2) -> (rule4 % int3)) triple2) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple5 triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple2) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple3 ((((triple2) -> (rule4 % int4)) ((triple5 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple5 triple3) -> (rule7 % int3))) -> (rule4 % int2)) ((triple5 triple3) -> (rule7 % int3))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple3 ((((((triple5 triple3) -> (rule7 % int4))) -> (rule4 % int3)) triple2) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple3 ((((((triple5 triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((triple5 triple3) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is not nice.
False
2
inv-proof
[(((triple3) -> rule2) OR ((triple1 triple2) -> rule8) OR ((triple3 triple4) -> rule3) OR ((triple1 ((triple5 triple3) -> rule7)) -> rule8) OR ((triple3 ((triple1 triple2) -> rule6)) -> rule3) OR ((((triple2) -> rule4) triple2) -> rule8) OR ((((triple2) -> rule4) ((triple5 triple3) -> rule7)) -> rule8) OR ((triple3 ((triple1 ((triple5 triple3) -> rule7)) -> rule6)) -> rule3) OR ((triple3 ((((triple2) -> rule4) triple2) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule7)) -> rule4) triple2) -> rule8) OR ((triple3 ((((triple2) -> rule4) ((triple5 triple3) -> rule7)) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule7)) -> rule4) ((triple5 triple3) -> rule7)) -> rule8) OR ((triple3 ((((((triple5 triple3) -> rule7)) -> rule4) triple2) -> rule6)) -> rule3) OR ((triple3 ((((((triple5 triple3) -> rule7)) -> rule4) ((triple5 triple3) -> rule7)) -> rule6)) -> rule3))]
("Charlie" "is" "nice" "-")
((triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple1 triple2) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple3 triple4) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple1 ((triple5 triple3) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple3 ((triple1 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple2) -> (rule4 % int2)) triple2) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple5 triple3) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple3 ((triple1 ((triple5 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple3 ((((triple2) -> (rule4 % int3)) triple2) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple5 triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple2) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple3 ((((triple2) -> (rule4 % int4)) ((triple5 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple5 triple3) -> (rule7 % int3))) -> (rule4 % int2)) ((triple5 triple3) -> (rule7 % int3))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple3 ((((((triple5 triple3) -> (rule7 % int4))) -> (rule4 % int3)) triple2) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple3 ((((((triple5 triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((triple5 triple3) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Harry is furry.
True
4
proof
[(((((triple12 triple10) -> rule7)) -> rule4))]
("Harry" "is" "furry" "+")
((((triple12 triple10) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not furry.
False
4
inv-proof
[(((((triple12 triple10) -> rule7)) -> rule4))]
("Harry" "is" "furry" "-")
((((triple12 triple10) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Charlie is furry.[(triple1 OR ((triple2) -> rule4) OR ((((triple5 triple3) -> rule7)) -> rule4))] Charlie is kind.[(triple2 OR ((triple5 triple3) -> rule7))] Charlie is red.[(triple3)] Charlie is rough.[(triple4 OR ((triple1 triple2) -> rule6) OR ((triple1 ((triple5 triple3) -> rule7)) -> rule6) OR ((((triple2) -> rule4) triple2) -> rule6) OR ((((triple2) -> rule4) ((triple5 triple3) -> rule7)) -> rule6) OR ((((((triple5 triple3) -> rule7)) -> rule4) triple2) -> rule6) OR ((((((triple5 triple3) -> rule7)) -> rule4) ((triple5 triple3) -> rule7)) -> rule6))] Charlie is white.[(triple5)] Fiona is furry.[(triple6)] Fiona is red.[(triple7)] Fiona is rough.[(triple8)] Fiona is young.[(triple9 OR ((triple7 triple8) -> rule5))] Harry is red.[(triple10)] Harry is rough.[(triple11 OR ((((((triple12 triple10) -> rule7)) -> rule4) ((triple12 triple10) -> rule7)) -> rule6))] Harry is white.[(triple12)] @1: Charlie is nice.[(((triple3) -> rule2) OR ((triple1 triple2) -> rule8) OR ((triple3 triple4) -> rule3) OR ((triple1 ((triple5 triple3) -> rule7)) -> rule8) OR ((triple3 ((triple1 triple2) -> rule6)) -> rule3) OR ((((triple2) -> rule4) triple2) -> rule8) OR ((((triple2) -> rule4) ((triple5 triple3) -> rule7)) -> rule8) OR ((triple3 ((triple1 ((triple5 triple3) -> rule7)) -> rule6)) -> rule3) OR ((triple3 ((((triple2) -> rule4) triple2) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule7)) -> rule4) triple2) -> rule8) OR ((triple3 ((((triple2) -> rule4) ((triple5 triple3) -> rule7)) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule7)) -> rule4) ((triple5 triple3) -> rule7)) -> rule8) OR ((triple3 ((((((triple5 triple3) -> rule7)) -> rule4) triple2) -> rule6)) -> rule3) OR ((triple3 ((((((triple5 triple3) -> rule7)) -> rule4) ((triple5 triple3) -> rule7)) -> rule6)) -> rule3))] Charlie is young.[(((triple3 triple4) -> rule5) OR ((triple3 ((triple1 triple2) -> rule6)) -> rule5) OR ((triple3 ((triple1 ((triple5 triple3) -> rule7)) -> rule6)) -> rule5) OR ((triple3 ((((triple2) -> rule4) triple2) -> rule6)) -> rule5) OR ((triple3 ((((triple2) -> rule4) ((triple5 triple3) -> rule7)) -> rule6)) -> rule5) OR ((triple3 ((((((triple5 triple3) -> rule7)) -> rule4) triple2) -> rule6)) -> rule5) OR ((triple3 ((((((triple5 triple3) -> rule7)) -> rule4) ((triple5 triple3) -> rule7)) -> rule6)) -> rule5))] Fiona is nice.[(((triple7) -> rule2) OR ((triple7 triple8) -> rule3))] Harry is kind.[(((triple12 triple10) -> rule7))] Harry is nice.[(((triple10) -> rule2) OR ((triple10 triple11) -> rule3) OR ((((((triple12 triple10) -> rule7)) -> rule4) ((triple12 triple10) -> rule7)) -> rule8) OR ((triple10 ((((((triple12 triple10) -> rule7)) -> rule4) ((triple12 triple10) -> rule7)) -> rule6)) -> rule3))] Harry is young.[(((triple10 triple11) -> rule5) OR ((triple10 ((((((triple12 triple10) -> rule7)) -> rule4) ((triple12 triple10) -> rule7)) -> rule6)) -> rule5))] @2: Harry is furry.[(((((triple12 triple10) -> rule7)) -> rule4))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
((triple2) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple5 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
((triple5 triple3) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
((triple1 triple2) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple1 ((triple5 triple3) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple2) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple5 triple3) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple5 triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple5 triple3) -> (rule7 % int3))) -> (rule4 % int2)) ((triple5 triple3) -> (rule7 % int3))) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Fiona is young.
("Fiona" "is" "young" "+")
triple9
((triple7 triple8) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple11
((((((triple12 triple10) -> (rule7 % int3))) -> (rule4 % int2)) ((triple12 triple10) -> (rule7 % int3))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
triple12
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple1 triple2) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple3 triple4) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple1 ((triple5 triple3) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple3 ((triple1 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple2) -> (rule4 % int2)) triple2) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple5 triple3) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple3 ((triple1 ((triple5 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple3 ((((triple2) -> (rule4 % int3)) triple2) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple5 triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple2) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple3 ((((triple2) -> (rule4 % int4)) ((triple5 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple5 triple3) -> (rule7 % int3))) -> (rule4 % int2)) ((triple5 triple3) -> (rule7 % int3))) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple3 ((((((triple5 triple3) -> (rule7 % int4))) -> (rule4 % int3)) triple2) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple3 ((((((triple5 triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((triple5 triple3) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
((triple3 triple4) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple3 ((triple1 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((triple3 ((triple1 ((triple5 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((triple3 ((((triple2) -> (rule4 % int3)) triple2) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple3 ((((triple2) -> (rule4 % int4)) ((triple5 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((triple3 ((((((triple5 triple3) -> (rule7 % int4))) -> (rule4 % int3)) triple2) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple3 ((((((triple5 triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((triple5 triple3) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple7) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple7 triple8) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple12 triple10) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple10) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple10 triple11) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((((triple12 triple10) -> (rule7 % int3))) -> (rule4 % int2)) ((triple12 triple10) -> (rule7 % int3))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple10 ((((((triple12 triple10) -> (rule7 % int4))) -> (rule4 % int3)) ((triple12 triple10) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((triple10 triple11) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple10 ((((((triple12 triple10) -> (rule7 % int4))) -> (rule4 % int3)) ((triple12 triple10) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
((((triple12 triple10) -> (rule7 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2