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