Charlie is rough. Dave is cold. Dave is quiet. Gary is cold. Gary is quiet. Gary is young. Harry is green. Harry is quiet. Harry is rough. Harry is round. Harry is smart. Harry is young. If Gary is green and Gary is young then Gary is rough. Rough people are smart. If Charlie is smart then Charlie is cold. If someone is quiet then they are round. If someone is cold then they are young. All quiet people are round. If someone is young and rough then they are round. If someone is round then they are green. If Gary is young and Gary is round then Gary is smart.
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If Gary is green and Gary is young then Gary is rough.
((("Gary" "is" "green" "+") ("Gary" "is" "young" "+")) -> ("Gary" "is" "rough" "+"))
Rough people are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
If Charlie is smart then Charlie is cold.
((("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "cold" "+"))
If someone is quiet then they are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
All quiet people are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
If someone is young and rough then they are round.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If Gary is young and Gary is round then Gary is smart.
((("Gary" "is" "young" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "smart" "+"))
Harry is young.
True
1
proof
[(triple12)]
("Harry" "is" "young" "+")
triple12
Harry is not quiet.
False
1
inv-proof
[(triple8)]
("Harry" "is" "quiet" "-")
triple8
Charlie is smart.
True
2
proof
[(((triple1) -> rule2))]
("Charlie" "is" "smart" "+")
((triple1) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple3) -> rule4) OR ((triple3) -> rule6))]
("Dave" "is" "round" "-")
((triple3) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple3) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Gary is smart.
True
4
proof
[(((triple6 ((triple5) -> rule4)) -> rule9) OR ((triple6 ((triple5) -> rule6)) -> rule9) OR ((((triple4) -> rule5) ((triple5) -> rule4)) -> rule9) OR ((((triple4) -> rule5) ((triple5) -> rule6)) -> rule9) OR ((((((((triple5) -> rule4)) -> rule8) triple6) -> rule1)) -> rule2) OR ((((((((triple5) -> rule6)) -> rule8) triple6) -> rule1)) -> rule2) OR ((((((((triple5) -> rule4)) -> rule8) ((triple4) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple5) -> rule6)) -> rule8) ((triple4) -> rule5)) -> rule1)) -> rule2))]
("Gary" "is" "smart" "+")
((triple6 ((triple5) -> (rule4 % int2))) -> (rule9 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple6 ((triple5) -> (rule6 % int2))) -> (rule9 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple4) -> (rule5 % int3)) ((triple5) -> (rule4 % int2))) -> (rule9 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple4) -> (rule5 % int3)) ((triple5) -> (rule6 % int2))) -> (rule9 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((((triple5) -> (rule4 % int4))) -> (rule8 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((((triple5) -> (rule6 % int5))) -> (rule8 % int4)) ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Charlie is not cold.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule3))]
("Charlie" "is" "cold" "-")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Gary is rough.
True
5
proof
[(((((((triple5) -> rule4)) -> rule8) triple6) -> rule1) OR ((((((triple5) -> rule6)) -> rule8) triple6) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((triple4) -> rule5)) -> rule1) OR ((((((triple5) -> rule6)) -> rule8) ((triple4) -> rule5)) -> rule1))]
("Gary" "is" "rough" "+")
((((((triple5) -> (rule4 % int3))) -> (rule8 % int2)) triple6) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple5) -> (rule4 % int4))) -> (rule8 % int3)) ((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple5) -> (rule6 % int4))) -> (rule8 % int3)) ((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is not rough.
False
5
inv-proof
[(((((((triple5) -> rule4)) -> rule8) triple6) -> rule1) OR ((((((triple5) -> rule6)) -> rule8) triple6) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((triple4) -> rule5)) -> rule1) OR ((((((triple5) -> rule6)) -> rule8) ((triple4) -> rule5)) -> rule1))]
("Gary" "is" "rough" "-")
((((((triple5) -> (rule4 % int3))) -> (rule8 % int2)) triple6) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple5) -> (rule4 % int4))) -> (rule8 % int3)) ((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple5) -> (rule6 % int4))) -> (rule8 % int3)) ((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Charlie is round.
True
6
proof
[(((((((((triple1) -> rule2)) -> rule3)) -> rule5) triple1) -> rule7))]
("Charlie" "is" "round" "+")
((((((((triple1) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple1) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is not round.
False
6
inv-proof
[(((((((((triple1) -> rule2)) -> rule3)) -> rule5) triple1) -> rule7))]
("Charlie" "is" "round" "-")
((((((((triple1) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple1) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is green.
True
7
proof
[(((((((((((triple1) -> rule2)) -> rule3)) -> rule5) triple1) -> rule7)) -> rule8))]
("Charlie" "is" "green" "+")
((((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple1) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is not green.
False
7
inv-proof
[(((((((((((triple1) -> rule2)) -> rule3)) -> rule5) triple1) -> rule7)) -> rule8))]
("Charlie" "is" "green" "-")
((((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple1) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "smart" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Charlie is rough.[(triple1)] Dave is cold.[(triple2)] Dave is quiet.[(triple3)] Gary is cold.[(triple4)] Gary is quiet.[(triple5)] Gary is young.[(triple6 OR ((triple4) -> rule5))] Harry is green.[(triple7 OR ((triple10) -> rule8) OR ((((triple8) -> rule4)) -> rule8) OR ((((triple8) -> rule6)) -> rule8) OR ((((triple12 triple9) -> rule7)) -> rule8))] Harry is quiet.[(triple8)] Harry is rough.[(triple9)] Harry is round.[(triple10 OR ((triple8) -> rule4) OR ((triple8) -> rule6) OR ((triple12 triple9) -> rule7))] Harry is smart.[(triple11 OR ((triple9) -> rule2))] Harry is young.[(triple12)] @1: Charlie is smart.[(((triple1) -> rule2))] Dave is round.[(((triple3) -> rule4) OR ((triple3) -> rule6))] Dave is young.[(((triple2) -> rule5))] Gary is round.[(((triple5) -> rule4) OR ((triple5) -> rule6))] @2: Charlie is cold.[(((((triple1) -> rule2)) -> rule3))] Dave is green.[(((((triple3) -> rule4)) -> rule8) OR ((((triple3) -> rule6)) -> rule8))] Gary is green.[(((((triple5) -> rule4)) -> rule8) OR ((((triple5) -> rule6)) -> rule8))] Gary is smart.[(((triple6 ((triple5) -> rule4)) -> rule9) OR ((triple6 ((triple5) -> rule6)) -> rule9) OR ((((triple4) -> rule5) ((triple5) -> rule4)) -> rule9) OR ((((triple4) -> rule5) ((triple5) -> rule6)) -> rule9) OR ((((((((triple5) -> rule4)) -> rule8) triple6) -> rule1)) -> rule2) OR ((((((((triple5) -> rule6)) -> rule8) triple6) -> rule1)) -> rule2) OR ((((((((triple5) -> rule4)) -> rule8) ((triple4) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple5) -> rule6)) -> rule8) ((triple4) -> rule5)) -> rule1)) -> rule2))] @3: Charlie is young.[(((((((triple1) -> rule2)) -> rule3)) -> rule5))] Gary is rough.[(((((((triple5) -> rule4)) -> rule8) triple6) -> rule1) OR ((((((triple5) -> rule6)) -> rule8) triple6) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((triple4) -> rule5)) -> rule1) OR ((((((triple5) -> rule6)) -> rule8) ((triple4) -> rule5)) -> rule1))] @4: Charlie is round.[(((((((((triple1) -> rule2)) -> rule3)) -> rule5) triple1) -> rule7))] @5: Charlie is green.[(((((((((((triple1) -> rule2)) -> rule3)) -> rule5) triple1) -> rule7)) -> rule8))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple6
((triple4) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple7
((triple10) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple8) -> (rule6 % int2))) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple12 triple9) -> (rule7 % int2))) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
((triple8) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple8) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple12 triple9) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple11
((triple9) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple12
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple1) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple3) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple3) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple2) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple5) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple5) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple3) -> (rule4 % int2))) -> (rule8 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
((((triple3) -> (rule6 % int2))) -> (rule8 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((((triple5) -> (rule4 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple5) -> (rule6 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
((triple6 ((triple5) -> (rule4 % int2))) -> (rule9 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((triple6 ((triple5) -> (rule6 % int2))) -> (rule9 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple4) -> (rule5 % int3)) ((triple5) -> (rule4 % int2))) -> (rule9 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple4) -> (rule5 % int3)) ((triple5) -> (rule6 % int2))) -> (rule9 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((((triple5) -> (rule4 % int4))) -> (rule8 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple5) -> (rule6 % int4))) -> (rule8 % int3)) triple6) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
((((((((triple5) -> (rule6 % int5))) -> (rule8 % int4)) ((triple4) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Charlie is young.
("Charlie" "is" "young" "+")
((((((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple5) -> (rule4 % int3))) -> (rule8 % int2)) triple6) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule8 % int2)) triple6) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((triple5) -> (rule4 % int4))) -> (rule8 % int3)) ((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
((((((triple5) -> (rule6 % int4))) -> (rule8 % int3)) ((triple4) -> (rule5 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
((((((((triple1) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple1) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
((((((((((triple1) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3)) triple1) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5