Bob is big. Bob is kind. Bob is red. Bob is rough. Bob is white. Bob is young. Charlie is big. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is young. Gary is big. Gary is red. Gary is white. Gary is young. If Gary is smart then Gary is kind. All rough people are kind. If someone is kind then they are young. If Charlie is rough and Charlie is white then Charlie is smart. Smart, big people are red. Young people are smart. If someone is rough then they are kind. Young people are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is smart then Gary is kind.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "kind" "+"))
All rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If Charlie is rough and Charlie is white then Charlie is smart.
((("Charlie" "is" "rough" "+") ("Charlie" "is" "white" "+")) -> ("Charlie" "is" "smart" "+"))
Smart, big people are red.
((("someone" "is" "smart" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Young people are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Bob is young.
True
1
proof
[(triple6 OR ((triple2) -> rule3) OR ((((triple4) -> rule2)) -> rule3) OR ((((triple4) -> rule7)) -> rule3))]
("Bob" "is" "young" "+")
triple6
((triple2) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not big.
False
1
inv-proof
[(triple1 OR ((triple6) -> rule8) OR ((((triple2) -> rule3)) -> rule8) OR ((((((triple4) -> rule2)) -> rule3)) -> rule8) OR ((((((triple4) -> rule7)) -> rule3)) -> rule8))]
("Bob" "is" "big" "-")
triple1
((triple6) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
True
2
proof
[(((triple6) -> rule6) OR ((((triple2) -> rule3)) -> rule6) OR ((((((triple4) -> rule2)) -> rule3)) -> rule6) OR ((((((triple4) -> rule7)) -> rule3)) -> rule6))]
("Bob" "is" "smart" "+")
((triple6) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Charlie is not red.
False
3
inv-proof
[(((triple10 triple7) -> rule5) OR ((triple10 ((triple11) -> rule8)) -> rule5) OR ((((triple11) -> rule6) triple7) -> rule5) OR ((((triple11) -> rule6) ((triple11) -> rule8)) -> rule5) OR ((triple10 ((((triple8) -> rule3)) -> rule8)) -> rule5) OR ((((((triple8) -> rule3)) -> rule6) triple7) -> rule5) OR ((((triple11) -> rule6) ((((triple8) -> rule3)) -> rule8)) -> rule5) OR ((((((triple8) -> rule3)) -> rule6) ((triple11) -> rule8)) -> rule5) OR ((((((triple8) -> rule3)) -> rule6) ((((triple8) -> rule3)) -> rule8)) -> rule5) OR ((triple10 ((((((triple9) -> rule2)) -> rule3)) -> rule8)) -> rule5) OR ((triple10 ((((((triple9) -> rule7)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule6) triple7) -> rule5) OR ((((((((triple9) -> rule7)) -> rule3)) -> rule6) triple7) -> rule5) OR ((((triple11) -> rule6) ((((((triple9) -> rule2)) -> rule3)) -> rule8)) -> rule5) OR ((((triple11) -> rule6) ((((((triple9) -> rule7)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule6) ((triple11) -> rule8)) -> rule5) OR ((((((((triple9) -> rule7)) -> rule3)) -> rule6) ((triple11) -> rule8)) -> rule5) OR ((((((triple8) -> rule3)) -> rule6) ((((((triple9) -> rule2)) -> rule3)) -> rule8)) -> rule5) OR ((((((triple8) -> rule3)) -> rule6) ((((((triple9) -> rule7)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule6) ((((triple8) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule7)) -> rule3)) -> rule6) ((((triple8) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule6) ((((((triple9) -> rule2)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule6) ((((((triple9) -> rule7)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule7)) -> rule3)) -> rule6) ((((((triple9) -> rule2)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule7)) -> rule3)) -> rule6) ((((((triple9) -> rule7)) -> rule3)) -> rule8)) -> rule5))]
("Charlie" "is" "red" "-")
((triple10 triple7) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple10 ((triple11) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple11) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple11) -> (rule6 % int3)) ((triple11) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((triple10 ((((triple8) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple8) -> (rule3 % int3))) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple11) -> (rule6 % int4)) ((((triple8) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple8) -> (rule3 % int4))) -> (rule6 % int3)) ((triple11) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple8) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple8) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((triple10 ((((((triple9) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple10 ((((((triple9) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple9) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple9) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple11) -> (rule6 % int5)) ((((((triple9) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((triple11) -> (rule6 % int5)) ((((((triple9) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple11) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple9) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple11) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple8) -> (rule3 % int5))) -> (rule6 % int4)) ((((((triple9) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((triple8) -> (rule3 % int5))) -> (rule6 % int4)) ((((((triple9) -> (rule7 % int3))) -> (rule3 % int5))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple8) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple9) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple8) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple9) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple9) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple9) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple9) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Gary is kind.
True
3
proof
[(((((triple15) -> rule6)) -> rule1))]
("Gary" "is" "kind" "+")
((((triple15) -> (rule6 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is not kind.
False
3
inv-proof
[(((((triple15) -> rule6)) -> rule1))]
("Gary" "is" "kind" "-")
((((triple15) -> (rule6 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Bob is big.[(triple1 OR ((triple6) -> rule8) OR ((((triple2) -> rule3)) -> rule8) OR ((((((triple4) -> rule2)) -> rule3)) -> rule8) OR ((((((triple4) -> rule7)) -> rule3)) -> rule8))] Bob is kind.[(triple2 OR ((triple4) -> rule2) OR ((triple4) -> rule7))] Bob is red.[(triple3 OR ((((triple6) -> rule6) triple1) -> rule5) OR ((((triple6) -> rule6) ((triple6) -> rule8)) -> rule5) OR ((((((triple2) -> rule3)) -> rule6) triple1) -> rule5) OR ((((triple6) -> rule6) ((((triple2) -> rule3)) -> rule8)) -> rule5) OR ((((((triple2) -> rule3)) -> rule6) ((triple6) -> rule8)) -> rule5) OR ((((((triple2) -> rule3)) -> rule6) ((((triple2) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple4) -> rule2)) -> rule3)) -> rule6) triple1) -> rule5) OR ((((((((triple4) -> rule7)) -> rule3)) -> rule6) triple1) -> rule5) OR ((((triple6) -> rule6) ((((((triple4) -> rule2)) -> rule3)) -> rule8)) -> rule5) OR ((((triple6) -> rule6) ((((((triple4) -> rule7)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple4) -> rule2)) -> rule3)) -> rule6) ((triple6) -> rule8)) -> rule5) OR ((((((((triple4) -> rule7)) -> rule3)) -> rule6) ((triple6) -> rule8)) -> rule5) OR ((((((triple2) -> rule3)) -> rule6) ((((((triple4) -> rule2)) -> rule3)) -> rule8)) -> rule5) OR ((((((triple2) -> rule3)) -> rule6) ((((((triple4) -> rule7)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple4) -> rule2)) -> rule3)) -> rule6) ((((triple2) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple4) -> rule7)) -> rule3)) -> rule6) ((((triple2) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple4) -> rule2)) -> rule3)) -> rule6) ((((((triple4) -> rule2)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple4) -> rule2)) -> rule3)) -> rule6) ((((((triple4) -> rule7)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple4) -> rule7)) -> rule3)) -> rule6) ((((((triple4) -> rule2)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple4) -> rule7)) -> rule3)) -> rule6) ((((((triple4) -> rule7)) -> rule3)) -> rule8)) -> rule5))] Bob is rough.[(triple4)] Bob is white.[(triple5)] Bob is young.[(triple6 OR ((triple2) -> rule3) OR ((((triple4) -> rule2)) -> rule3) OR ((((triple4) -> rule7)) -> rule3))] Charlie is big.[(triple7 OR ((triple11) -> rule8) OR ((((triple8) -> rule3)) -> rule8) OR ((((((triple9) -> rule2)) -> rule3)) -> rule8) OR ((((((triple9) -> rule7)) -> rule3)) -> rule8))] Charlie is kind.[(triple8 OR ((triple9) -> rule2) OR ((triple9) -> rule7))] Charlie is rough.[(triple9)] Charlie is smart.[(triple10 OR ((triple11) -> rule6) OR ((((triple8) -> rule3)) -> rule6) OR ((((((triple9) -> rule2)) -> rule3)) -> rule6) OR ((((((triple9) -> rule7)) -> rule3)) -> rule6))] Charlie is young.[(triple11 OR ((triple8) -> rule3) OR ((((triple9) -> rule2)) -> rule3) OR ((((triple9) -> rule7)) -> rule3))] Gary is big.[(triple12 OR ((triple15) -> rule8))] Gary is red.[(triple13 OR ((((triple15) -> rule6) triple12) -> rule5) OR ((((triple15) -> rule6) ((triple15) -> rule8)) -> rule5))] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Bob is smart.[(((triple6) -> rule6) OR ((((triple2) -> rule3)) -> rule6) OR ((((((triple4) -> rule2)) -> rule3)) -> rule6) OR ((((((triple4) -> rule7)) -> rule3)) -> rule6))] Charlie is red.[(((triple10 triple7) -> rule5) OR ((triple10 ((triple11) -> rule8)) -> rule5) OR ((((triple11) -> rule6) triple7) -> rule5) OR ((((triple11) -> rule6) ((triple11) -> rule8)) -> rule5) OR ((triple10 ((((triple8) -> rule3)) -> rule8)) -> rule5) OR ((((((triple8) -> rule3)) -> rule6) triple7) -> rule5) OR ((((triple11) -> rule6) ((((triple8) -> rule3)) -> rule8)) -> rule5) OR ((((((triple8) -> rule3)) -> rule6) ((triple11) -> rule8)) -> rule5) OR ((((((triple8) -> rule3)) -> rule6) ((((triple8) -> rule3)) -> rule8)) -> rule5) OR ((triple10 ((((((triple9) -> rule2)) -> rule3)) -> rule8)) -> rule5) OR ((triple10 ((((((triple9) -> rule7)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule6) triple7) -> rule5) OR ((((((((triple9) -> rule7)) -> rule3)) -> rule6) triple7) -> rule5) OR ((((triple11) -> rule6) ((((((triple9) -> rule2)) -> rule3)) -> rule8)) -> rule5) OR ((((triple11) -> rule6) ((((((triple9) -> rule7)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule6) ((triple11) -> rule8)) -> rule5) OR ((((((((triple9) -> rule7)) -> rule3)) -> rule6) ((triple11) -> rule8)) -> rule5) OR ((((((triple8) -> rule3)) -> rule6) ((((((triple9) -> rule2)) -> rule3)) -> rule8)) -> rule5) OR ((((((triple8) -> rule3)) -> rule6) ((((((triple9) -> rule7)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule6) ((((triple8) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule7)) -> rule3)) -> rule6) ((((triple8) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule6) ((((((triple9) -> rule2)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule2)) -> rule3)) -> rule6) ((((((triple9) -> rule7)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule7)) -> rule3)) -> rule6) ((((((triple9) -> rule2)) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule7)) -> rule3)) -> rule6) ((((((triple9) -> rule7)) -> rule3)) -> rule8)) -> rule5))] Gary is smart.[(((triple15) -> rule6))] @2: Gary is kind.[(((((triple15) -> rule6)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple6) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
((triple4) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple4) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple3
((((triple6) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple6) -> (rule6 % int3)) ((triple6) -> (rule8 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple2) -> (rule3 % int3))) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple6) -> (rule6 % int4)) ((((triple2) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule8 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple2) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple6) -> (rule6 % int5)) ((((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple6) -> (rule6 % int5)) ((((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule8 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple6) -> (rule8 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple2) -> (rule3 % int5))) -> (rule6 % int4)) ((((((triple4) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple2) -> (rule3 % int5))) -> (rule6 % int4)) ((((((triple4) -> (rule7 % int3))) -> (rule3 % int5))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple4) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple4) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
((triple2) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
triple7
((triple11) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple8) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
((triple9) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple9) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple9
Charlie is smart.
("Charlie" "is" "smart" "+")
triple10
((triple11) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple8) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
triple11
((triple8) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple9) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
triple12
((triple15) -> (rule8 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple13
((((triple15) -> (rule6 % int2)) triple12) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple15) -> (rule6 % int3)) ((triple15) -> (rule8 % int2))) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Bob is smart.
("Bob" "is" "smart" "+")
((triple6) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((triple10 triple7) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple10 ((triple11) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple11) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple11) -> (rule6 % int3)) ((triple11) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((triple10 ((((triple8) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple8) -> (rule3 % int3))) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple11) -> (rule6 % int4)) ((((triple8) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple8) -> (rule3 % int4))) -> (rule6 % int3)) ((triple11) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((triple8) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple8) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((triple10 ((((((triple9) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple10 ((((((triple9) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple9) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((((triple9) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple11) -> (rule6 % int5)) ((((((triple9) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((triple11) -> (rule6 % int5)) ((((((triple9) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple11) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple9) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((triple11) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((triple8) -> (rule3 % int5))) -> (rule6 % int4)) ((((((triple9) -> (rule2 % int3))) -> (rule3 % int5))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((triple8) -> (rule3 % int5))) -> (rule6 % int4)) ((((((triple9) -> (rule7 % int3))) -> (rule3 % int5))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple8) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple9) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple8) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple9) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple9) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple9) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((((((triple9) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple9) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
((triple15) -> (rule6 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((((triple15) -> (rule6 % int2))) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2