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