Charlie is green. Charlie is nice. Charlie is rough. Erin is green. Erin is round. Erin is smart. Erin is white. Erin is young. Harry is green. Harry is nice. Harry is rough. Harry is round. Harry is smart. Harry is white. Harry is young. All smart, rough things are green. If something is rough and round then it is white. All white things are green. Nice things are rough. Green things are round. All white, rough things are smart.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All smart, rough things are green.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is rough and round then it is white.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
All white things are green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
Nice things are rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
Green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
All white, rough things are smart.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
Charlie is green.
True
1
proof
[(triple1)]
("Charlie" "is" "green" "+")
triple1
Harry is not smart.
False
1
inv-proof
[(triple13 OR ((triple14 triple11) -> rule6) OR ((triple14 ((triple10) -> rule4)) -> rule6) OR ((((triple11 triple12) -> rule2) triple11) -> rule6) OR ((((triple11 triple12) -> rule2) ((triple10) -> rule4)) -> rule6) OR ((((triple11 ((triple9) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((triple10) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((triple11 ((triple9) -> rule5)) -> rule2) ((triple10) -> rule4)) -> rule6) OR ((((((triple10) -> rule4) triple12) -> rule2) ((triple10) -> rule4)) -> rule6) OR ((((((triple10) -> rule4) ((triple9) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((triple10) -> rule4) ((triple9) -> rule5)) -> rule2) ((triple10) -> rule4)) -> rule6))]
("Harry" "is" "smart" "-")
triple13
((triple14 triple11) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple14 ((triple10) -> (rule4 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple11 triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple11 triple12) -> (rule2 % int3)) ((triple10) -> (rule4 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple11 ((triple9) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple10) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple11 ((triple9) -> (rule5 % int4))) -> (rule2 % int3)) ((triple10) -> (rule4 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple10) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple10) -> (rule4 % int3))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple10) -> (rule4 % int4)) ((triple9) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple10) -> (rule4 % int4)) ((triple9) -> (rule5 % int3))) -> (rule2 % int2)) ((triple10) -> (rule4 % int4))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Charlie is round.
True
2
proof
[(((triple1) -> rule5))]
("Charlie" "is" "round" "+")
((triple1) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
2
inv-proof
[(((triple1) -> rule5))]
("Charlie" "is" "round" "-")
((triple1) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
True
4
proof
[(((triple3 ((triple1) -> rule5)) -> rule2) OR ((((triple2) -> rule4) ((triple1) -> rule5)) -> rule2))]
("Charlie" "is" "white" "+")
((triple3 ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not white.
False
4
inv-proof
[(((triple3 ((triple1) -> rule5)) -> rule2) OR ((((triple2) -> rule4) ((triple1) -> rule5)) -> rule2))]
("Charlie" "is" "white" "-")
((triple3 ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
True
6
proof
[(((((triple3 ((triple1) -> rule5)) -> rule2) triple3) -> rule6) OR ((((triple3 ((triple1) -> rule5)) -> rule2) ((triple2) -> rule4)) -> rule6) OR ((((((triple2) -> rule4) ((triple1) -> rule5)) -> rule2) triple3) -> rule6) OR ((((((triple2) -> rule4) ((triple1) -> rule5)) -> rule2) ((triple2) -> rule4)) -> rule6))]
("Charlie" "is" "smart" "+")
((((triple3 ((triple1) -> (rule5 % int3))) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple3 ((triple1) -> (rule5 % int4))) -> (rule2 % int3)) ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple2) -> (rule4 % int4)) ((triple1) -> (rule5 % int3))) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2) -> (rule4 % int4)) ((triple1) -> (rule5 % int3))) -> (rule2 % int2)) ((triple2) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is not smart.
False
6
inv-proof
[(((((triple3 ((triple1) -> rule5)) -> rule2) triple3) -> rule6) OR ((((triple3 ((triple1) -> rule5)) -> rule2) ((triple2) -> rule4)) -> rule6) OR ((((((triple2) -> rule4) ((triple1) -> rule5)) -> rule2) triple3) -> rule6) OR ((((((triple2) -> rule4) ((triple1) -> rule5)) -> rule2) ((triple2) -> rule4)) -> rule6))]
("Charlie" "is" "smart" "-")
((((triple3 ((triple1) -> (rule5 % int3))) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple3 ((triple1) -> (rule5 % int4))) -> (rule2 % int3)) ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple2) -> (rule4 % int4)) ((triple1) -> (rule5 % int3))) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2) -> (rule4 % int4)) ((triple1) -> (rule5 % int3))) -> (rule2 % int2)) ((triple2) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "rough" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is rough.[(triple3 OR ((triple2) -> rule4))] Erin is green.[(triple4 OR ((triple7) -> rule3))] Erin is round.[(triple5 OR ((triple4) -> rule5) OR ((((triple7) -> rule3)) -> rule5))] Erin is smart.[(triple6)] Erin is white.[(triple7)] Erin is young.[(triple8)] Harry is green.[(triple9 OR ((triple14) -> rule3) OR ((triple13 triple11) -> rule1) OR ((((triple11 triple12) -> rule2)) -> rule3) OR ((triple13 ((triple10) -> rule4)) -> rule1) OR ((((triple14 triple11) -> rule6) triple11) -> rule1) OR ((((triple14 triple11) -> rule6) ((triple10) -> rule4)) -> rule1) OR ((((((triple10) -> rule4) triple12) -> rule2)) -> rule3) OR ((((triple14 ((triple10) -> rule4)) -> rule6) triple11) -> rule1) OR ((((((triple11 triple12) -> rule2) triple11) -> rule6) triple11) -> rule1) OR ((((triple14 ((triple10) -> rule4)) -> rule6) ((triple10) -> rule4)) -> rule1) OR ((((((triple11 triple12) -> rule2) triple11) -> rule6) ((triple10) -> rule4)) -> rule1) OR ((((((triple11 triple12) -> rule2) ((triple10) -> rule4)) -> rule6) triple11) -> rule1) OR ((((((triple11 triple12) -> rule2) ((triple10) -> rule4)) -> rule6) ((triple10) -> rule4)) -> rule1) OR ((((((((triple10) -> rule4) triple12) -> rule2) triple11) -> rule6) triple11) -> rule1) OR ((((((((triple10) -> rule4) triple12) -> rule2) triple11) -> rule6) ((triple10) -> rule4)) -> rule1) OR ((((((((triple10) -> rule4) triple12) -> rule2) ((triple10) -> rule4)) -> rule6) triple11) -> rule1) OR ((((((((triple10) -> rule4) triple12) -> rule2) ((triple10) -> rule4)) -> rule6) ((triple10) -> rule4)) -> rule1))] Harry is nice.[(triple10)] Harry is rough.[(triple11 OR ((triple10) -> rule4))] Harry is round.[(triple12 OR ((triple9) -> rule5) OR ((((triple14) -> rule3)) -> rule5) OR ((((triple13 triple11) -> rule1)) -> rule5) OR ((((triple13 ((triple10) -> rule4)) -> rule1)) -> rule5) OR ((((((triple14 triple11) -> rule6) triple11) -> rule1)) -> rule5) OR ((((((triple14 triple11) -> rule6) ((triple10) -> rule4)) -> rule1)) -> rule5) OR ((((((triple14 ((triple10) -> rule4)) -> rule6) triple11) -> rule1)) -> rule5) OR ((((((triple14 ((triple10) -> rule4)) -> rule6) ((triple10) -> rule4)) -> rule1)) -> rule5))] Harry is smart.[(triple13 OR ((triple14 triple11) -> rule6) OR ((triple14 ((triple10) -> rule4)) -> rule6) OR ((((triple11 triple12) -> rule2) triple11) -> rule6) OR ((((triple11 triple12) -> rule2) ((triple10) -> rule4)) -> rule6) OR ((((triple11 ((triple9) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((triple10) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((triple11 ((triple9) -> rule5)) -> rule2) ((triple10) -> rule4)) -> rule6) OR ((((((triple10) -> rule4) triple12) -> rule2) ((triple10) -> rule4)) -> rule6) OR ((((((triple10) -> rule4) ((triple9) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((triple10) -> rule4) ((triple9) -> rule5)) -> rule2) ((triple10) -> rule4)) -> rule6))] Harry is white.[(triple14 OR ((triple11 triple12) -> rule2) OR ((triple11 ((triple9) -> rule5)) -> rule2) OR ((((triple10) -> rule4) triple12) -> rule2) OR ((((triple10) -> rule4) ((triple9) -> rule5)) -> rule2) OR ((triple11 ((((triple13 triple11) -> rule1)) -> rule5)) -> rule2) OR ((((triple10) -> rule4) ((((triple13 triple11) -> rule1)) -> rule5)) -> rule2) OR ((triple11 ((((triple13 ((triple10) -> rule4)) -> rule1)) -> rule5)) -> rule2) OR ((((triple10) -> rule4) ((((triple13 ((triple10) -> rule4)) -> rule1)) -> rule5)) -> rule2))] Harry is young.[(triple15)] @1: Charlie is round.[(((triple1) -> rule5))] @2: Charlie is white.[(((triple3 ((triple1) -> rule5)) -> rule2) OR ((((triple2) -> rule4) ((triple1) -> rule5)) -> rule2))] @3: Charlie is smart.[(((((triple3 ((triple1) -> rule5)) -> rule2) triple3) -> rule6) OR ((((triple3 ((triple1) -> rule5)) -> rule2) ((triple2) -> rule4)) -> rule6) OR ((((((triple2) -> rule4) ((triple1) -> rule5)) -> rule2) triple3) -> rule6) OR ((((((triple2) -> rule4) ((triple1) -> rule5)) -> rule2) ((triple2) -> rule4)) -> rule6))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
((triple2) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple4
((triple7) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple5
((triple4) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Erin is young.
("Erin" "is" "young" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
((triple14) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple13 triple11) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple11 triple12) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((triple13 ((triple10) -> (rule4 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple14 triple11) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple14 triple11) -> (rule6 % int3)) ((triple10) -> (rule4 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple10) -> (rule4 % int3)) triple12) -> (rule2 % int2))) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple14 ((triple10) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple11 triple12) -> (rule2 % int3)) triple11) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple14 ((triple10) -> (rule4 % int3))) -> (rule6 % int2)) ((triple10) -> (rule4 % int3))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple11 triple12) -> (rule2 % int4)) triple11) -> (rule6 % int3)) ((triple10) -> (rule4 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple11 triple12) -> (rule2 % int4)) ((triple10) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple11 triple12) -> (rule2 % int4)) ((triple10) -> (rule4 % int3))) -> (rule6 % int2)) ((triple10) -> (rule4 % int3))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((((triple10) -> (rule4 % int4)) triple12) -> (rule2 % int3)) triple11) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((triple10) -> (rule4 % int4)) triple12) -> (rule2 % int3)) triple11) -> (rule6 % int2)) ((triple10) -> (rule4 % int4))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((triple10) -> (rule4 % int4)) triple12) -> (rule2 % int3)) ((triple10) -> (rule4 % int4))) -> (rule6 % int2)) triple11) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((triple10) -> (rule4 % int4)) triple12) -> (rule2 % int3)) ((triple10) -> (rule4 % int4))) -> (rule6 % int2)) ((triple10) -> (rule4 % int4))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple11
((triple10) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple12
((triple9) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple14) -> (rule3 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple13 triple11) -> (rule1 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple13 ((triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple14 triple11) -> (rule6 % int3)) triple11) -> (rule1 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple14 triple11) -> (rule6 % int4)) ((triple10) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple14 ((triple10) -> (rule4 % int4))) -> (rule6 % int3)) triple11) -> (rule1 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple14 ((triple10) -> (rule4 % int4))) -> (rule6 % int3)) ((triple10) -> (rule4 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
triple13
((triple14 triple11) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple14 ((triple10) -> (rule4 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple11 triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple11 triple12) -> (rule2 % int3)) ((triple10) -> (rule4 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple11 ((triple9) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple10) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple11 ((triple9) -> (rule5 % int4))) -> (rule2 % int3)) ((triple10) -> (rule4 % int2))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((triple10) -> (rule4 % int3)) triple12) -> (rule2 % int2)) ((triple10) -> (rule4 % int3))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple10) -> (rule4 % int4)) ((triple9) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple10) -> (rule4 % int4)) ((triple9) -> (rule5 % int3))) -> (rule2 % int2)) ((triple10) -> (rule4 % int4))) -> (rule6 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
triple14
((triple11 triple12) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple11 ((triple9) -> (rule5 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple10) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple10) -> (rule4 % int3)) ((triple9) -> (rule5 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((triple11 ((((triple13 triple11) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple10) -> (rule4 % int4)) ((((triple13 triple11) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((triple11 ((((triple13 ((triple10) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple10) -> (rule4 % int4)) ((((triple13 ((triple10) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
triple15
Charlie is round.
("Charlie" "is" "round" "+")
((triple1) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple3 ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple3 ((triple1) -> (rule5 % int3))) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple3 ((triple1) -> (rule5 % int4))) -> (rule2 % int3)) ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple2) -> (rule4 % int4)) ((triple1) -> (rule5 % int3))) -> (rule2 % int2)) triple3) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2) -> (rule4 % int4)) ((triple1) -> (rule5 % int3))) -> (rule2 % int2)) ((triple2) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4