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