Anne is blue. Anne is rough. Anne is young. Charlie is big. Charlie is blue. Charlie is kind. Charlie is rough. Charlie is round. Charlie is white. Dave is big. Dave is blue. Dave is round. Dave is white. Fiona is kind. Fiona is white. Young, white things are round. All big, round things are kind. If something is blue and kind then it is young. Kind, white things are big. Blue things are young. If Charlie is round and Charlie is rough then Charlie is blue. Big, kind things are young. Big, blue things are kind.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Young, white things are round.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
All big, round things are kind.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If something is blue and kind then it is young.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
Kind, white things are big.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
Blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If Charlie is round and Charlie is rough then Charlie is blue.
((("Charlie" "is" "round" "+") ("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "blue" "+"))
Big, kind things are young.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
Big, blue things are kind.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
Dave is big.
True
1
proof
[(triple10)]
("Dave" "is" "big" "+")
triple10
Charlie is not big.
False
1
inv-proof
[(triple4 OR ((triple6 triple9) -> rule4))]
("Charlie" "is" "big" "-")
triple4
((triple6 triple9) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
True
2
proof
[(((triple5) -> rule5) OR ((triple4 triple6) -> rule7) OR ((triple5 triple6) -> rule3) OR ((((triple8 triple7) -> rule6)) -> rule5) OR ((triple4 ((triple4 triple5) -> rule8)) -> rule7) OR ((triple4 ((triple4 triple8) -> rule2)) -> rule7) OR ((triple5 ((triple4 triple5) -> rule8)) -> rule3) OR ((triple5 ((triple4 triple8) -> rule2)) -> rule3) OR ((((triple6 triple9) -> rule4) triple6) -> rule7) OR ((((triple8 triple7) -> rule6) triple6) -> rule3) OR ((((triple6 triple9) -> rule4) ((triple4 triple5) -> rule8)) -> rule7) OR ((((triple6 triple9) -> rule4) ((triple4 triple8) -> rule2)) -> rule7) OR ((((triple8 triple7) -> rule6) ((triple4 triple5) -> rule8)) -> rule3) OR ((((triple8 triple7) -> rule6) ((triple4 triple8) -> rule2)) -> rule3) OR ((triple4 ((triple4 ((triple8 triple7) -> rule6)) -> rule8)) -> rule7) OR ((triple5 ((triple4 ((triple8 triple7) -> rule6)) -> rule8)) -> rule3) OR ((((triple6 triple9) -> rule4) ((triple4 ((triple8 triple7) -> rule6)) -> rule8)) -> rule7) OR ((((triple8 triple7) -> rule6) ((triple4 ((triple8 triple7) -> rule6)) -> rule8)) -> rule3))]
("Charlie" "is" "young" "+")
((triple5) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple4 triple6) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple5 triple6) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple8 triple7) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((triple4 ((triple4 triple5) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple4 ((triple4 triple8) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple5 ((triple4 triple5) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple5 ((triple4 triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple6 triple9) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple8 triple7) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple6 triple9) -> (rule4 % int3)) ((triple4 triple5) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple6 triple9) -> (rule4 % int3)) ((triple4 triple8) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple8 triple7) -> (rule6 % int3)) ((triple4 triple5) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple8 triple7) -> (rule6 % int3)) ((triple4 triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((triple4 ((triple4 ((triple8 triple7) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((triple5 ((triple4 ((triple8 triple7) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple6 triple9) -> (rule4 % int4)) ((triple4 ((triple8 triple7) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple8 triple7) -> (rule6 % int3)) ((triple4 ((triple8 triple7) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Fiona is not big.
False
3
inv-proof
[(((triple14 triple15) -> rule4))]
("Fiona" "is" "big" "-")
((triple14 triple15) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
True
5
proof
[(((((triple14 triple15) -> rule4) triple14) -> rule7))]
("Fiona" "is" "young" "+")
((((triple14 triple15) -> (rule4 % int2)) triple14) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not young.
False
5
inv-proof
[(((((triple14 triple15) -> rule4) triple14) -> rule7))]
("Fiona" "is" "young" "-")
((((triple14 triple15) -> (rule4 % int2)) triple14) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
True
7
proof
[(((((((triple14 triple15) -> rule4) triple14) -> rule7) triple15) -> rule1))]
("Fiona" "is" "round" "+")
((((((triple14 triple15) -> (rule4 % int3)) triple14) -> (rule7 % int2)) triple15) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is not round.
False
7
inv-proof
[(((((((triple14 triple15) -> rule4) triple14) -> rule7) triple15) -> rule1))]
("Fiona" "is" "round" "-")
((((((triple14 triple15) -> (rule4 % int3)) triple14) -> (rule7 % int2)) triple15) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "round" "-")
Anne is big.
Unknown
rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "big" "+")
Anne is not kind.
Unknown
inv-rconc
[@2: Anne is kind.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Anne" "is" "kind" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3 OR ((triple1) -> rule5))] Charlie is big.[(triple4 OR ((triple6 triple9) -> rule4))] Charlie is blue.[(triple5 OR ((triple8 triple7) -> rule6) OR ((((((triple4 triple6) -> rule7) triple9) -> rule1) triple7) -> rule6) OR ((((((((triple6 triple9) -> rule4) triple6) -> rule7) triple9) -> rule1) triple7) -> rule6))] Charlie is kind.[(triple6 OR ((triple4 triple5) -> rule8) OR ((triple4 triple8) -> rule2) OR ((triple4 ((triple8 triple7) -> rule6)) -> rule8) OR ((triple4 ((((triple5) -> rule5) triple9) -> rule1)) -> rule2))] Charlie is rough.[(triple7)] Charlie is round.[(triple8 OR ((((triple5) -> rule5) triple9) -> rule1) OR ((((triple4 triple6) -> rule7) triple9) -> rule1) OR ((((triple5 triple6) -> rule3) triple9) -> rule1) OR ((((triple4 ((triple4 triple5) -> rule8)) -> rule7) triple9) -> rule1) OR ((((triple5 ((triple4 triple5) -> rule8)) -> rule3) triple9) -> rule1) OR ((((((triple6 triple9) -> rule4) triple6) -> rule7) triple9) -> rule1) OR ((((((triple6 triple9) -> rule4) ((triple4 triple5) -> rule8)) -> rule7) triple9) -> rule1))] Charlie is white.[(triple9)] Dave is big.[(triple10)] Dave is blue.[(triple11)] Dave is round.[(triple12 OR ((((triple11) -> rule5) triple13) -> rule1) OR ((((triple10 ((triple10 triple11) -> rule8)) -> rule7) triple13) -> rule1) OR ((((triple11 ((triple10 triple11) -> rule8)) -> rule3) triple13) -> rule1))] Dave is white.[(triple13)] Fiona is kind.[(triple14)] Fiona is white.[(triple15)] @1: Charlie is young.[(((triple5) -> rule5) OR ((triple4 triple6) -> rule7) OR ((triple5 triple6) -> rule3) OR ((((triple8 triple7) -> rule6)) -> rule5) OR ((triple4 ((triple4 triple5) -> rule8)) -> rule7) OR ((triple4 ((triple4 triple8) -> rule2)) -> rule7) OR ((triple5 ((triple4 triple5) -> rule8)) -> rule3) OR ((triple5 ((triple4 triple8) -> rule2)) -> rule3) OR ((((triple6 triple9) -> rule4) triple6) -> rule7) OR ((((triple8 triple7) -> rule6) triple6) -> rule3) OR ((((triple6 triple9) -> rule4) ((triple4 triple5) -> rule8)) -> rule7) OR ((((triple6 triple9) -> rule4) ((triple4 triple8) -> rule2)) -> rule7) OR ((((triple8 triple7) -> rule6) ((triple4 triple5) -> rule8)) -> rule3) OR ((((triple8 triple7) -> rule6) ((triple4 triple8) -> rule2)) -> rule3) OR ((triple4 ((triple4 ((triple8 triple7) -> rule6)) -> rule8)) -> rule7) OR ((triple5 ((triple4 ((triple8 triple7) -> rule6)) -> rule8)) -> rule3) OR ((((triple6 triple9) -> rule4) ((triple4 ((triple8 triple7) -> rule6)) -> rule8)) -> rule7) OR ((((triple8 triple7) -> rule6) ((triple4 ((triple8 triple7) -> rule6)) -> rule8)) -> rule3))] Dave is kind.[(((triple10 triple11) -> rule8) OR ((triple10 triple12) -> rule2) OR ((triple10 ((((triple11) -> rule5) triple13) -> rule1)) -> rule2))] Dave is young.[(((triple11) -> rule5) OR ((triple10 ((triple10 triple11) -> rule8)) -> rule7) OR ((triple10 ((triple10 triple12) -> rule2)) -> rule7) OR ((triple11 ((triple10 triple11) -> rule8)) -> rule3) OR ((triple11 ((triple10 triple12) -> rule2)) -> rule3))] Fiona is big.[(((triple14 triple15) -> rule4))] @2: Fiona is young.[(((((triple14 triple15) -> rule4) triple14) -> rule7))] @3: Fiona is round.[(((((((triple14 triple15) -> rule4) triple14) -> rule7) triple15) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
((triple1) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
triple4
((triple6 triple9) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
((triple8 triple7) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((((triple4 triple6) -> (rule7 % int3)) triple9) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((((triple6 triple9) -> (rule4 % int4)) triple6) -> (rule7 % int3)) triple9) -> (rule1 % int2)) triple7) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
((triple4 triple5) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple4 triple8) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple4 ((triple8 triple7) -> (rule6 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((triple4 ((((triple5) -> (rule5 % int3)) triple9) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple8
((((triple5) -> (rule5 % int2)) triple9) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple4 triple6) -> (rule7 % int2)) triple9) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple5 triple6) -> (rule3 % int2)) triple9) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple4 ((triple4 triple5) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple5 ((triple4 triple5) -> (rule8 % int3))) -> (rule3 % int2)) triple9) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple6 triple9) -> (rule4 % int3)) triple6) -> (rule7 % int2)) triple9) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple6 triple9) -> (rule4 % int4)) ((triple4 triple5) -> (rule8 % int3))) -> (rule7 % int2)) triple9) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
triple9
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
triple11
Dave is round.
("Dave" "is" "round" "+")
triple12
((((triple11) -> (rule5 % int2)) triple13) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple10 ((triple10 triple11) -> (rule8 % int3))) -> (rule7 % int2)) triple13) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple11 ((triple10 triple11) -> (rule8 % int3))) -> (rule3 % int2)) triple13) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
triple13
Fiona is kind.
("Fiona" "is" "kind" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Charlie is young.
("Charlie" "is" "young" "+")
((triple5) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple4 triple6) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple5 triple6) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple8 triple7) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((triple4 ((triple4 triple5) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple4 ((triple4 triple8) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple5 ((triple4 triple5) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple5 ((triple4 triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple6 triple9) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple8 triple7) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple6 triple9) -> (rule4 % int3)) ((triple4 triple5) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple6 triple9) -> (rule4 % int3)) ((triple4 triple8) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple8 triple7) -> (rule6 % int3)) ((triple4 triple5) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple8 triple7) -> (rule6 % int3)) ((triple4 triple8) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((triple4 ((triple4 ((triple8 triple7) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((triple5 ((triple4 ((triple8 triple7) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple6 triple9) -> (rule4 % int4)) ((triple4 ((triple8 triple7) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple8 triple7) -> (rule6 % int3)) ((triple4 ((triple8 triple7) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
((triple10 triple11) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple10 triple12) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple10 ((((triple11) -> (rule5 % int3)) triple13) -> (rule1 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((triple11) -> (rule5 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple10 ((triple10 triple11) -> (rule8 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((triple10 ((triple10 triple12) -> (rule2 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((triple11 ((triple10 triple11) -> (rule8 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((triple11 ((triple10 triple12) -> (rule2 % int2))) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((triple14 triple15) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple14 triple15) -> (rule4 % int2)) triple14) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((((triple14 triple15) -> (rule4 % int3)) triple14) -> (rule7 % int2)) triple15) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3