Anne is quiet. Anne is white. Bob is big. Bob is blue. Bob is quiet. Bob is red. Bob is rough. Bob is white. Bob is young. Gary is white. Harry is blue. Harry is red. Harry is rough. Harry is white. If someone is blue then they are rough. Red, blue people are white. All young, red people are blue. All big people are red. Big people are rough. All white people are blue. If someone is blue and young then they are rough. All rough, quiet people are young. All young, quiet people are big.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is blue then they are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Red, blue people are white.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
All young, red people are blue.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
All big people are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
All white people are blue.
((("someone" "is" "white" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
All rough, quiet people are young.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All young, quiet people are big.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
Bob is young.
True
1
proof
[(triple9 OR ((triple7 triple5) -> rule8) OR ((((triple3) -> rule5) triple5) -> rule8) OR ((((triple4) -> rule1) triple5) -> rule8) OR ((((((triple8) -> rule6)) -> rule1) triple5) -> rule8))]
("Bob" "is" "young" "+")
triple9
((triple7 triple5) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple3) -> (rule5 % int2)) triple5) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple4) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((((triple8) -> (rule6 % int3))) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Harry is not blue.
False
1
inv-proof
[(triple11 OR ((triple14) -> rule6))]
("Harry" "is" "blue" "-")
triple11
((triple14) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Gary is blue.
True
2
proof
[(((triple10) -> rule6))]
("Gary" "is" "blue" "+")
((triple10) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple10) -> rule6))]
("Gary" "is" "blue" "-")
((triple10) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Anne is rough.
True
3
proof
[(((((triple2) -> rule6)) -> rule1))]
("Anne" "is" "rough" "+")
((((triple2) -> (rule6 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is not rough.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule1))]
("Anne" "is" "rough" "-")
((((triple2) -> (rule6 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
True
5
proof
[(((((((triple2) -> rule6)) -> rule1) triple1) -> rule8))]
("Anne" "is" "young" "+")
((((((triple2) -> (rule6 % int3))) -> (rule1 % int2)) triple1) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is not young.
False
5
inv-proof
[(((((((triple2) -> rule6)) -> rule1) triple1) -> rule8))]
("Anne" "is" "young" "-")
((((((triple2) -> (rule6 % int3))) -> (rule1 % int2)) triple1) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
True
7
proof
[(((((((((triple2) -> rule6)) -> rule1) triple1) -> rule8) triple1) -> rule9))]
("Anne" "is" "big" "+")
((((((((triple2) -> (rule6 % int4))) -> (rule1 % int3)) triple1) -> (rule8 % int2)) triple1) -> (rule9 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is not big.
False
7
inv-proof
[(((((((((triple2) -> rule6)) -> rule1) triple1) -> rule8) triple1) -> rule9))]
("Anne" "is" "big" "-")
((((((((triple2) -> (rule6 % int4))) -> (rule1 % int3)) triple1) -> (rule8 % int2)) triple1) -> (rule9 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is red.
True
8
proof
[(((((((((((triple2) -> rule6)) -> rule1) triple1) -> rule8) triple1) -> rule9)) -> rule4))]
("Anne" "is" "red" "+")
((((((((((triple2) -> (rule6 % int5))) -> (rule1 % int4)) triple1) -> (rule8 % int3)) triple1) -> (rule9 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
Anne is not red.
False
8
inv-proof
[(((((((((((triple2) -> rule6)) -> rule1) triple1) -> rule8) triple1) -> rule9)) -> rule4))]
("Anne" "is" "red" "-")
((((((((((triple2) -> (rule6 % int5))) -> (rule1 % int4)) triple1) -> (rule8 % int3)) triple1) -> (rule9 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Gary" "is" "big" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Harry" "is" "big" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Harry" "is" "young" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not red.
Unknown
inv-rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule4 <- rule9 <- FAIL)]]
("Gary" "is" "red" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Bob is big.[(triple3 OR ((triple9 triple5) -> rule9) OR ((((triple7 triple5) -> rule8) triple5) -> rule9) OR ((((((triple4) -> rule1) triple5) -> rule8) triple5) -> rule9) OR ((((((((triple8) -> rule6)) -> rule1) triple5) -> rule8) triple5) -> rule9))] Bob is blue.[(triple4 OR ((triple8) -> rule6) OR ((triple9 triple6) -> rule3) OR ((triple9 ((triple3) -> rule4)) -> rule3) OR ((((triple7 triple5) -> rule8) triple6) -> rule3) OR ((((triple7 triple5) -> rule8) ((triple3) -> rule4)) -> rule3) OR ((triple9 ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3) OR ((((((triple3) -> rule5) triple5) -> rule8) triple6) -> rule3) OR ((((triple7 triple5) -> rule8) ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3) OR ((((((triple3) -> rule5) triple5) -> rule8) ((triple3) -> rule4)) -> rule3) OR ((((((triple3) -> rule5) triple5) -> rule8) ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3) OR ((triple9 ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3) OR ((((triple7 triple5) -> rule8) ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3) OR ((((((triple3) -> rule5) triple5) -> rule8) ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3))] Bob is quiet.[(triple5)] Bob is red.[(triple6 OR ((triple3) -> rule4) OR ((((triple9 triple5) -> rule9)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4) OR ((((((((triple4) -> rule1) triple5) -> rule8) triple5) -> rule9)) -> rule4) OR ((((((((((triple8) -> rule6)) -> rule1) triple5) -> rule8) triple5) -> rule9)) -> rule4))] Bob is rough.[(triple7 OR ((triple3) -> rule5) OR ((triple4) -> rule1) OR ((triple4 triple9) -> rule7) OR ((((triple8) -> rule6)) -> rule1) OR ((((triple9 triple5) -> rule9)) -> rule5) OR ((((triple9 triple6) -> rule3)) -> rule1) OR ((((triple8) -> rule6) triple9) -> rule7) OR ((((triple9 triple6) -> rule3) triple9) -> rule7) OR ((((triple9 ((triple3) -> rule4)) -> rule3)) -> rule1) OR ((((triple9 ((triple3) -> rule4)) -> rule3) triple9) -> rule7) OR ((((triple9 ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3)) -> rule1) OR ((((triple9 ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3) triple9) -> rule7))] Bob is white.[(triple8 OR ((triple6 triple4) -> rule2) OR ((triple6 ((triple9 triple6) -> rule3)) -> rule2) OR ((((triple3) -> rule4) triple4) -> rule2) OR ((((triple3) -> rule4) ((triple9 triple6) -> rule3)) -> rule2) OR ((triple6 ((triple9 ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((triple6 ((((triple7 triple5) -> rule8) triple6) -> rule3)) -> rule2) OR ((((((triple9 triple5) -> rule9)) -> rule4) triple4) -> rule2) OR ((triple6 ((((triple7 triple5) -> rule8) ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((triple3) -> rule4) ((triple9 ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((triple3) -> rule4) ((((triple7 triple5) -> rule8) triple6) -> rule3)) -> rule2) OR ((((((triple9 triple5) -> rule9)) -> rule4) ((triple9 triple6) -> rule3)) -> rule2) OR ((((triple3) -> rule4) ((((triple7 triple5) -> rule8) ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((((triple9 triple5) -> rule9)) -> rule4) ((triple9 ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((((triple9 triple5) -> rule9)) -> rule4) ((((triple7 triple5) -> rule8) triple6) -> rule3)) -> rule2) OR ((((((triple9 triple5) -> rule9)) -> rule4) ((((triple7 triple5) -> rule8) ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((triple6 ((triple9 ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((triple6 ((((((triple3) -> rule5) triple5) -> rule8) triple6) -> rule3)) -> rule2) OR ((((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4) triple4) -> rule2) OR ((triple6 ((((triple7 triple5) -> rule8) ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((triple6 ((((((triple3) -> rule5) triple5) -> rule8) ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((triple3) -> rule4) ((triple9 ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((triple3) -> rule4) ((((((triple3) -> rule5) triple5) -> rule8) triple6) -> rule3)) -> rule2) OR ((((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4) ((triple9 triple6) -> rule3)) -> rule2) OR ((triple6 ((((((triple3) -> rule5) triple5) -> rule8) ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((triple3) -> rule4) ((((triple7 triple5) -> rule8) ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((triple3) -> rule4) ((((((triple3) -> rule5) triple5) -> rule8) ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((((triple9 triple5) -> rule9)) -> rule4) ((triple9 ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple9 triple5) -> rule9)) -> rule4) ((((((triple3) -> rule5) triple5) -> rule8) triple6) -> rule3)) -> rule2) OR ((((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4) ((triple9 ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4) ((((triple7 triple5) -> rule8) triple6) -> rule3)) -> rule2) OR ((((triple3) -> rule4) ((((((triple3) -> rule5) triple5) -> rule8) ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple9 triple5) -> rule9)) -> rule4) ((((triple7 triple5) -> rule8) ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple9 triple5) -> rule9)) -> rule4) ((((((triple3) -> rule5) triple5) -> rule8) ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4) ((triple9 ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4) ((((triple7 triple5) -> rule8) ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4) ((((((triple3) -> rule5) triple5) -> rule8) triple6) -> rule3)) -> rule2) OR ((((((triple9 triple5) -> rule9)) -> rule4) ((((((triple3) -> rule5) triple5) -> rule8) ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4) ((((triple7 triple5) -> rule8) ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4) ((((((triple3) -> rule5) triple5) -> rule8) ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4) ((((((triple3) -> rule5) triple5) -> rule8) ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((triple6 ((triple9 ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((((((triple4) -> rule1) triple5) -> rule8) triple5) -> rule9)) -> rule4) triple4) -> rule2) OR ((triple6 ((((triple7 triple5) -> rule8) ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((triple3) -> rule4) ((triple9 ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((((((triple4) -> rule1) triple5) -> rule8) triple5) -> rule9)) -> rule4) ((triple9 triple6) -> rule3)) -> rule2) OR ((triple6 ((((((triple3) -> rule5) triple5) -> rule8) ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((triple3) -> rule4) ((((triple7 triple5) -> rule8) ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple9 triple5) -> rule9)) -> rule4) ((triple9 ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((((((triple4) -> rule1) triple5) -> rule8) triple5) -> rule9)) -> rule4) ((triple9 ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((((((((triple4) -> rule1) triple5) -> rule8) triple5) -> rule9)) -> rule4) ((((triple7 triple5) -> rule8) triple6) -> rule3)) -> rule2) OR ((((triple3) -> rule4) ((((((triple3) -> rule5) triple5) -> rule8) ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((triple9 triple5) -> rule9)) -> rule4) ((((triple7 triple5) -> rule8) ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4) ((triple9 ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((((((triple4) -> rule1) triple5) -> rule8) triple5) -> rule9)) -> rule4) ((triple9 ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((((((triple4) -> rule1) triple5) -> rule8) triple5) -> rule9)) -> rule4) ((((triple7 triple5) -> rule8) ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((((((((triple4) -> rule1) triple5) -> rule8) triple5) -> rule9)) -> rule4) ((((((triple3) -> rule5) triple5) -> rule8) triple6) -> rule3)) -> rule2) OR ((((((triple9 triple5) -> rule9)) -> rule4) ((((((triple3) -> rule5) triple5) -> rule8) ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4) ((((triple7 triple5) -> rule8) ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((((((triple4) -> rule1) triple5) -> rule8) triple5) -> rule9)) -> rule4) ((triple9 ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((((((triple4) -> rule1) triple5) -> rule8) triple5) -> rule9)) -> rule4) ((((triple7 triple5) -> rule8) ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((((((triple4) -> rule1) triple5) -> rule8) triple5) -> rule9)) -> rule4) ((((((triple3) -> rule5) triple5) -> rule8) ((triple3) -> rule4)) -> rule3)) -> rule2) OR ((((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4) ((((((triple3) -> rule5) triple5) -> rule8) ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((((((triple4) -> rule1) triple5) -> rule8) triple5) -> rule9)) -> rule4) ((((triple7 triple5) -> rule8) ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((((((triple4) -> rule1) triple5) -> rule8) triple5) -> rule9)) -> rule4) ((((((triple3) -> rule5) triple5) -> rule8) ((((triple9 triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2) OR ((((((((((triple4) -> rule1) triple5) -> rule8) triple5) -> rule9)) -> rule4) ((((((triple3) -> rule5) triple5) -> rule8) ((((((triple7 triple5) -> rule8) triple5) -> rule9)) -> rule4)) -> rule3)) -> rule2))] Bob is young.[(triple9 OR ((triple7 triple5) -> rule8) OR ((((triple3) -> rule5) triple5) -> rule8) OR ((((triple4) -> rule1) triple5) -> rule8) OR ((((((triple8) -> rule6)) -> rule1) triple5) -> rule8))] Gary is white.[(triple10)] Harry is blue.[(triple11 OR ((triple14) -> rule6))] Harry is red.[(triple12)] Harry is rough.[(triple13 OR ((triple11) -> rule1) OR ((((triple14) -> rule6)) -> rule1))] Harry is white.[(triple14 OR ((triple12 triple11) -> rule2))] @1: Anne is blue.[(((triple2) -> rule6))] Gary is blue.[(((triple10) -> rule6))] @2: Anne is rough.[(((((triple2) -> rule6)) -> rule1))] Gary is rough.[(((((triple10) -> rule6)) -> rule1))] @3: Anne is young.[(((((((triple2) -> rule6)) -> rule1) triple1) -> rule8))] @4: Anne is big.[(((((((((triple2) -> rule6)) -> rule1) triple1) -> rule8) triple1) -> rule9))] @5: Anne is red.[(((((((((((triple2) -> rule6)) -> rule1) triple1) -> rule8) triple1) -> rule9)) -> rule4))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Bob is big.
("Bob" "is" "big" "+")
triple3
((triple9 triple5) -> (rule9 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple7 triple5) -> (rule8 % int2)) triple5) -> (rule9 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple4) -> (rule1 % int3)) triple5) -> (rule8 % int2)) triple5) -> (rule9 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((((triple8) -> (rule6 % int4))) -> (rule1 % int3)) triple5) -> (rule8 % int2)) triple5) -> (rule9 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
triple4
((triple8) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple9 triple6) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple9 ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple7 triple5) -> (rule8 % int2)) triple6) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple7 triple5) -> (rule8 % int3)) ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple9 ((((triple9 triple5) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple3) -> (rule5 % int3)) triple5) -> (rule8 % int2)) triple6) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple7 triple5) -> (rule8 % int4)) ((((triple9 triple5) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple3) -> (rule5 % int4)) triple5) -> (rule8 % int3)) ((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple3) -> (rule5 % int5)) triple5) -> (rule8 % int4)) ((((triple9 triple5) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((triple9 ((((((triple7 triple5) -> (rule8 % int4)) triple5) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple7 triple5) -> (rule8 % int4)) ((((((triple7 triple5) -> (rule8 % int4)) triple5) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple3) -> (rule5 % int5)) triple5) -> (rule8 % int4)) ((((((triple7 triple5) -> (rule8 % int4)) triple5) -> (rule9 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
((triple3) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple9 triple5) -> (rule9 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((((triple7 triple5) -> (rule8 % int3)) triple5) -> (rule9 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((((triple4) -> (rule1 % int4)) triple5) -> (rule8 % int3)) triple5) -> (rule9 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((((triple8) -> (rule6 % int5))) -> (rule1 % int4)) triple5) -> (rule8 % int3)) triple5) -> (rule9 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
triple7
((triple3) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple4) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple4 triple9) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple9 triple5) -> (rule9 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple9 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple8) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple9 triple6) -> (rule3 % int2)) triple9) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple9 ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple9 ((triple3) -> (rule4 % int3))) -> (rule3 % int2)) triple9) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple9 ((((triple9 triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple9 ((((triple9 triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2)) triple9) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
triple8
((triple6 triple4) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((triple6 ((triple9 triple6) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple3) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple3) -> (rule4 % int3)) ((triple9 triple6) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple6 ((triple9 ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple6 ((((triple7 triple5) -> (rule8 % int3)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple9 triple5) -> (rule9 % int3))) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple6 ((((triple7 triple5) -> (rule8 % int4)) ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple3) -> (rule4 % int3)) ((triple9 ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple3) -> (rule4 % int4)) ((((triple7 triple5) -> (rule8 % int3)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple9 triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((triple9 triple6) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple3) -> (rule4 % int4)) ((((triple7 triple5) -> (rule8 % int3)) ((triple3) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((triple9 triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((triple9 ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple9 triple5) -> (rule9 % int5))) -> (rule4 % int4)) ((((triple7 triple5) -> (rule8 % int3)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((triple9 triple5) -> (rule9 % int5))) -> (rule4 % int4)) ((((triple7 triple5) -> (rule8 % int3)) ((triple3) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((triple6 ((triple9 ((((triple9 triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((triple6 ((((((triple3) -> (rule5 % int4)) triple5) -> (rule8 % int3)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((((triple7 triple5) -> (rule8 % int4)) triple5) -> (rule9 % int3))) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple6 ((((triple7 triple5) -> (rule8 % int5)) ((((triple9 triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((triple6 ((((((triple3) -> (rule5 % int5)) triple5) -> (rule8 % int4)) ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3) -> (rule4 % int4)) ((triple9 ((((triple9 triple5) -> (rule9 % int3))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple3) -> (rule4 % int5)) ((((((triple3) -> (rule5 % int4)) triple5) -> (rule8 % int3)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((triple7 triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((triple9 triple6) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((triple6 ((((((triple3) -> (rule5 % int6)) triple5) -> (rule8 % int5)) ((((triple9 triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3) -> (rule4 % int5)) ((((triple7 triple5) -> (rule8 % int4)) ((((triple9 triple5) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple3) -> (rule4 % int5)) ((((((triple3) -> (rule5 % int4)) triple5) -> (rule8 % int3)) ((triple3) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple9 triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((triple9 ((((triple9 triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple9 triple5) -> (rule9 % int6))) -> (rule4 % int5)) ((((((triple3) -> (rule5 % int4)) triple5) -> (rule8 % int3)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
((((((((triple7 triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((triple9 ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple7 triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((((triple7 triple5) -> (rule8 % int5)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple3) -> (rule4 % int6)) ((((((triple3) -> (rule5 % int5)) triple5) -> (rule8 % int4)) ((((triple9 triple5) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((triple9 triple5) -> (rule9 % int5))) -> (rule4 % int4)) ((((triple7 triple5) -> (rule8 % int3)) ((((triple9 triple5) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((triple9 triple5) -> (rule9 % int6))) -> (rule4 % int5)) ((((((triple3) -> (rule5 % int4)) triple5) -> (rule8 % int3)) ((triple3) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
((((((((triple7 triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((triple9 ((((triple9 triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple7 triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((((triple7 triple5) -> (rule8 % int5)) ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple7 triple5) -> (rule8 % int6)) triple5) -> (rule9 % int5))) -> (rule4 % int4)) ((((((triple3) -> (rule5 % int3)) triple5) -> (rule8 % int6)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple9 triple5) -> (rule9 % int6))) -> (rule4 % int5)) ((((((triple3) -> (rule5 % int4)) triple5) -> (rule8 % int3)) ((((triple9 triple5) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
((((((((triple7 triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((((triple7 triple5) -> (rule8 % int5)) ((((triple9 triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple7 triple5) -> (rule8 % int6)) triple5) -> (rule9 % int5))) -> (rule4 % int4)) ((((((triple3) -> (rule5 % int3)) triple5) -> (rule8 % int6)) ((triple3) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((triple7 triple5) -> (rule8 % int6)) triple5) -> (rule9 % int5))) -> (rule4 % int4)) ((((((triple3) -> (rule5 % int3)) triple5) -> (rule8 % int6)) ((((triple9 triple5) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((triple6 ((triple9 ((((((triple7 triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((((triple4) -> (rule1 % int5)) triple5) -> (rule8 % int4)) triple5) -> (rule9 % int3))) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((triple6 ((((triple7 triple5) -> (rule8 % int5)) ((((((triple7 triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple3) -> (rule4 % int5)) ((triple9 ((((((triple7 triple5) -> (rule8 % int4)) triple5) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((((triple4) -> (rule1 % int6)) triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((triple9 triple6) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((triple6 ((((((triple3) -> (rule5 % int6)) triple5) -> (rule8 % int5)) ((((((triple7 triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3) -> (rule4 % int5)) ((((triple7 triple5) -> (rule8 % int4)) ((((((triple7 triple5) -> (rule8 % int4)) triple5) -> (rule9 % int3))) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple9 triple5) -> (rule9 % int5))) -> (rule4 % int4)) ((triple9 ((((((triple7 triple5) -> (rule8 % int3)) triple5) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((((((triple4) -> (rule1 % int6)) triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((triple9 ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((((((triple4) -> (rule1 % int6)) triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((((triple7 triple5) -> (rule8 % int5)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3) -> (rule4 % int6)) ((((((triple3) -> (rule5 % int5)) triple5) -> (rule8 % int4)) ((((((triple7 triple5) -> (rule8 % int4)) triple5) -> (rule9 % int3))) -> (rule4 % int6))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((triple9 triple5) -> (rule9 % int5))) -> (rule4 % int4)) ((((triple7 triple5) -> (rule8 % int3)) ((((((triple7 triple5) -> (rule8 % int3)) triple5) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((((triple7 triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((triple9 ((((((triple7 triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((((triple4) -> (rule1 % int6)) triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((triple9 ((((triple9 triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((((((triple4) -> (rule1 % int6)) triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((((triple7 triple5) -> (rule8 % int5)) ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((((((triple4) -> (rule1 % int6)) triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((((((triple3) -> (rule5 % int6)) triple5) -> (rule8 % int5)) triple6) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple9 triple5) -> (rule9 % int6))) -> (rule4 % int5)) ((((((triple3) -> (rule5 % int4)) triple5) -> (rule8 % int3)) ((((((triple7 triple5) -> (rule8 % int3)) triple5) -> (rule9 % int6))) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
((((((((triple7 triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((((triple7 triple5) -> (rule8 % int5)) ((((((triple7 triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((((triple4) -> (rule1 % int6)) triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((triple9 ((((((triple7 triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((((((triple4) -> (rule1 % int6)) triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((((triple7 triple5) -> (rule8 % int5)) ((((triple9 triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((((((triple4) -> (rule1 % int6)) triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((((((triple3) -> (rule5 % int6)) triple5) -> (rule8 % int5)) ((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((((triple7 triple5) -> (rule8 % int6)) triple5) -> (rule9 % int5))) -> (rule4 % int4)) ((((((triple3) -> (rule5 % int3)) triple5) -> (rule8 % int6)) ((((((triple7 triple5) -> (rule8 % int6)) triple5) -> (rule9 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((triple4) -> (rule1 % int6)) triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((((triple7 triple5) -> (rule8 % int5)) ((((((triple7 triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((((((triple4) -> (rule1 % int6)) triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((((((triple3) -> (rule5 % int6)) triple5) -> (rule8 % int5)) ((((triple9 triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((((((triple4) -> (rule1 % int6)) triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3)) ((((((triple3) -> (rule5 % int6)) triple5) -> (rule8 % int5)) ((((((triple7 triple5) -> (rule8 % int5)) triple5) -> (rule9 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
Bob is young.
("Bob" "is" "young" "+")
triple9
((triple7 triple5) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple3) -> (rule5 % int2)) triple5) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple4) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((((triple8) -> (rule6 % int3))) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
((triple14) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple13
((triple11) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((triple14) -> (rule6 % int2))) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
triple14
((triple12 triple11) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
((triple2) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple10) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((((triple2) -> (rule6 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple10) -> (rule6 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
((((((triple2) -> (rule6 % int3))) -> (rule1 % int2)) triple1) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
((((((((triple2) -> (rule6 % int4))) -> (rule1 % int3)) triple1) -> (rule8 % int2)) triple1) -> (rule9 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
((((((((((triple2) -> (rule6 % int5))) -> (rule1 % int4)) triple1) -> (rule8 % int3)) triple1) -> (rule9 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5