Charlie is blue. Charlie is green. Charlie is smart. Charlie is white. Dave is kind. Dave is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is smart. Fiona is white. Harry is blue. Harry is cold. Harry is smart. All blue people are white. If Dave is white then Dave is cold. Smart people are big. If someone is white and smart then they are big. If someone is white and smart then they are kind. All kind, white people are green. Kind, big people are green. All smart, white people are kind.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All blue people are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
If Dave is white then Dave is cold.
((("Dave" "is" "white" "+")) -> ("Dave" "is" "cold" "+"))
Smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
If someone is white and smart then they are big.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
If someone is white and smart then they are kind.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
All kind, white people are green.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Kind, big people are green.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
All smart, white people are kind.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Fiona is big.
True
1
proof
[(triple7 OR ((triple12) -> rule3) OR ((triple13 triple12) -> rule4) OR ((((triple8) -> rule1) triple12) -> rule4))]
("Fiona" "is" "big" "+")
triple7
((triple12) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple13 triple12) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple8) -> (rule1 % int2)) triple12) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not smart.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "smart" "-")
triple12
Harry is white.
True
2
proof
[(((triple14) -> rule1))]
("Harry" "is" "white" "+")
((triple14) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Charlie is not big.
False
2
inv-proof
[(((triple3) -> rule3) OR ((triple4 triple3) -> rule4) OR ((((triple1) -> rule1) triple3) -> rule4))]
("Charlie" "is" "big" "-")
((triple3) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple4 triple3) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple1) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Harry is kind.
True
4
proof
[(((triple16 ((triple14) -> rule1)) -> rule8) OR ((((triple14) -> rule1) triple16) -> rule5))]
("Harry" "is" "kind" "+")
((triple16 ((triple14) -> (rule1 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple14) -> (rule1 % int2)) triple16) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is not kind.
False
4
inv-proof
[(((triple16 ((triple14) -> rule1)) -> rule8) OR ((((triple14) -> rule1) triple16) -> rule5))]
("Harry" "is" "kind" "-")
((triple16 ((triple14) -> (rule1 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple14) -> (rule1 % int2)) triple16) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
True
7
proof
[(((((triple16 ((triple14) -> rule1)) -> rule8) ((triple14) -> rule1)) -> rule6) OR ((((triple16 ((triple14) -> rule1)) -> rule8) ((triple16) -> rule3)) -> rule7) OR ((((((triple14) -> rule1) triple16) -> rule5) ((triple14) -> rule1)) -> rule6) OR ((((((triple14) -> rule1) triple16) -> rule5) ((triple16) -> rule3)) -> rule7) OR ((((triple16 ((triple14) -> rule1)) -> rule8) ((((triple14) -> rule1) triple16) -> rule4)) -> rule7) OR ((((((triple14) -> rule1) triple16) -> rule5) ((((triple14) -> rule1) triple16) -> rule4)) -> rule7))]
("Harry" "is" "green" "+")
((((triple16 ((triple14) -> (rule1 % int3))) -> (rule8 % int2)) ((triple14) -> (rule1 % int3))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple16 ((triple14) -> (rule1 % int4))) -> (rule8 % int3)) ((triple16) -> (rule3 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple14) -> (rule1 % int3)) triple16) -> (rule5 % int2)) ((triple14) -> (rule1 % int3))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple14) -> (rule1 % int4)) triple16) -> (rule5 % int3)) ((triple16) -> (rule3 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple16 ((triple14) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple14) -> (rule1 % int4)) triple16) -> (rule4 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple14) -> (rule1 % int4)) triple16) -> (rule5 % int3)) ((((triple14) -> (rule1 % int4)) triple16) -> (rule4 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is not green.
False
7
inv-proof
[(((((triple16 ((triple14) -> rule1)) -> rule8) ((triple14) -> rule1)) -> rule6) OR ((((triple16 ((triple14) -> rule1)) -> rule8) ((triple16) -> rule3)) -> rule7) OR ((((((triple14) -> rule1) triple16) -> rule5) ((triple14) -> rule1)) -> rule6) OR ((((((triple14) -> rule1) triple16) -> rule5) ((triple16) -> rule3)) -> rule7) OR ((((triple16 ((triple14) -> rule1)) -> rule8) ((((triple14) -> rule1) triple16) -> rule4)) -> rule7) OR ((((((triple14) -> rule1) triple16) -> rule5) ((((triple14) -> rule1) triple16) -> rule4)) -> rule7))]
("Harry" "is" "green" "-")
((((triple16 ((triple14) -> (rule1 % int3))) -> (rule8 % int2)) ((triple14) -> (rule1 % int3))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple16 ((triple14) -> (rule1 % int4))) -> (rule8 % int3)) ((triple16) -> (rule3 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple14) -> (rule1 % int3)) triple16) -> (rule5 % int2)) ((triple14) -> (rule1 % int3))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple14) -> (rule1 % int4)) triple16) -> (rule5 % int3)) ((triple16) -> (rule3 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple16 ((triple14) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple14) -> (rule1 % int4)) triple16) -> (rule4 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple14) -> (rule1 % int4)) triple16) -> (rule5 % int3)) ((((triple14) -> (rule1 % int4)) triple16) -> (rule4 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "big" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2 OR ((((triple3 triple4) -> rule8) triple4) -> rule6) OR ((((triple4 triple3) -> rule5) triple4) -> rule6) OR ((((triple3 triple4) -> rule8) ((triple1) -> rule1)) -> rule6) OR ((((triple3 triple4) -> rule8) ((triple3) -> rule3)) -> rule7) OR ((((triple3 triple4) -> rule8) ((triple4 triple3) -> rule4)) -> rule7) OR ((((triple4 triple3) -> rule5) ((triple1) -> rule1)) -> rule6) OR ((((triple4 triple3) -> rule5) ((triple3) -> rule3)) -> rule7) OR ((((triple4 triple3) -> rule5) ((triple4 triple3) -> rule4)) -> rule7) OR ((((triple3 ((triple1) -> rule1)) -> rule8) triple4) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule5) triple4) -> rule6) OR ((((triple3 triple4) -> rule8) ((((triple1) -> rule1) triple3) -> rule4)) -> rule7) OR ((((triple3 ((triple1) -> rule1)) -> rule8) ((triple1) -> rule1)) -> rule6) OR ((((triple3 ((triple1) -> rule1)) -> rule8) ((triple3) -> rule3)) -> rule7) OR ((((triple3 ((triple1) -> rule1)) -> rule8) ((triple4 triple3) -> rule4)) -> rule7) OR ((((triple4 triple3) -> rule5) ((((triple1) -> rule1) triple3) -> rule4)) -> rule7) OR ((((((triple1) -> rule1) triple3) -> rule5) ((triple1) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule5) ((triple3) -> rule3)) -> rule7) OR ((((((triple1) -> rule1) triple3) -> rule5) ((triple4 triple3) -> rule4)) -> rule7) OR ((((triple3 ((triple1) -> rule1)) -> rule8) ((((triple1) -> rule1) triple3) -> rule4)) -> rule7) OR ((((((triple1) -> rule1) triple3) -> rule5) ((((triple1) -> rule1) triple3) -> rule4)) -> rule7))] Charlie is smart.[(triple3)] Charlie is white.[(triple4 OR ((triple1) -> rule1))] Dave is kind.[(triple5)] Dave is white.[(triple6)] Fiona is big.[(triple7 OR ((triple12) -> rule3) OR ((triple13 triple12) -> rule4) OR ((((triple8) -> rule1) triple12) -> rule4))] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10 OR ((triple11 triple13) -> rule6) OR ((triple11 triple7) -> rule7) OR ((triple11 ((triple12) -> rule3)) -> rule7) OR ((triple11 ((triple8) -> rule1)) -> rule6) OR ((triple11 ((triple13 triple12) -> rule4)) -> rule7) OR ((((triple12 triple13) -> rule8) triple13) -> rule6) OR ((((triple12 triple13) -> rule8) triple7) -> rule7) OR ((((triple13 triple12) -> rule5) triple13) -> rule6) OR ((((triple13 triple12) -> rule5) triple7) -> rule7) OR ((((triple12 triple13) -> rule8) ((triple12) -> rule3)) -> rule7) OR ((((triple12 triple13) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((triple12 triple13) -> rule8) ((triple13 triple12) -> rule4)) -> rule7) OR ((((triple13 triple12) -> rule5) ((triple12) -> rule3)) -> rule7) OR ((((triple13 triple12) -> rule5) ((triple8) -> rule1)) -> rule6) OR ((((triple13 triple12) -> rule5) ((triple13 triple12) -> rule4)) -> rule7) OR ((triple11 ((((triple8) -> rule1) triple12) -> rule4)) -> rule7) OR ((((triple12 ((triple8) -> rule1)) -> rule8) triple13) -> rule6) OR ((((triple12 ((triple8) -> rule1)) -> rule8) triple7) -> rule7) OR ((((((triple8) -> rule1) triple12) -> rule5) triple13) -> rule6) OR ((((((triple8) -> rule1) triple12) -> rule5) triple7) -> rule7) OR ((((triple12 triple13) -> rule8) ((((triple8) -> rule1) triple12) -> rule4)) -> rule7) OR ((((triple12 ((triple8) -> rule1)) -> rule8) ((triple12) -> rule3)) -> rule7) OR ((((triple12 ((triple8) -> rule1)) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((triple12 ((triple8) -> rule1)) -> rule8) ((triple13 triple12) -> rule4)) -> rule7) OR ((((triple13 triple12) -> rule5) ((((triple8) -> rule1) triple12) -> rule4)) -> rule7) OR ((((((triple8) -> rule1) triple12) -> rule5) ((triple12) -> rule3)) -> rule7) OR ((((((triple8) -> rule1) triple12) -> rule5) ((triple8) -> rule1)) -> rule6) OR ((((((triple8) -> rule1) triple12) -> rule5) ((triple13 triple12) -> rule4)) -> rule7) OR ((((triple12 ((triple8) -> rule1)) -> rule8) ((((triple8) -> rule1) triple12) -> rule4)) -> rule7) OR ((((((triple8) -> rule1) triple12) -> rule5) ((((triple8) -> rule1) triple12) -> rule4)) -> rule7))] Fiona is kind.[(triple11 OR ((triple12 triple13) -> rule8) OR ((triple13 triple12) -> rule5) OR ((triple12 ((triple8) -> rule1)) -> rule8) OR ((((triple8) -> rule1) triple12) -> rule5))] Fiona is smart.[(triple12)] Fiona is white.[(triple13 OR ((triple8) -> rule1))] Harry is blue.[(triple14)] Harry is cold.[(triple15)] Harry is smart.[(triple16)] @1: Charlie is big.[(((triple3) -> rule3) OR ((triple4 triple3) -> rule4) OR ((((triple1) -> rule1) triple3) -> rule4))] Charlie is kind.[(((triple3 triple4) -> rule8) OR ((triple4 triple3) -> rule5) OR ((triple3 ((triple1) -> rule1)) -> rule8) OR ((((triple1) -> rule1) triple3) -> rule5))] Dave is cold.[(((triple6) -> rule2))] Dave is green.[(((triple5 triple6) -> rule6))] Harry is big.[(((triple16) -> rule3) OR ((((triple14) -> rule1) triple16) -> rule4))] Harry is white.[(((triple14) -> rule1))] @2: Harry is kind.[(((triple16 ((triple14) -> rule1)) -> rule8) OR ((((triple14) -> rule1) triple16) -> rule5))] @3: Harry is green.[(((((triple16 ((triple14) -> rule1)) -> rule8) ((triple14) -> rule1)) -> rule6) OR ((((triple16 ((triple14) -> rule1)) -> rule8) ((triple16) -> rule3)) -> rule7) OR ((((((triple14) -> rule1) triple16) -> rule5) ((triple14) -> rule1)) -> rule6) OR ((((((triple14) -> rule1) triple16) -> rule5) ((triple16) -> rule3)) -> rule7) OR ((((triple16 ((triple14) -> rule1)) -> rule8) ((((triple14) -> rule1) triple16) -> rule4)) -> rule7) OR ((((((triple14) -> rule1) triple16) -> rule5) ((((triple14) -> rule1) triple16) -> rule4)) -> rule7))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
((((triple3 triple4) -> (rule8 % int2)) triple4) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple4 triple3) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple3 triple4) -> (rule8 % int3)) ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple3 triple4) -> (rule8 % int3)) ((triple3) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple3 triple4) -> (rule8 % int3)) ((triple4 triple3) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple4 triple3) -> (rule5 % int3)) ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple4 triple3) -> (rule5 % int3)) ((triple3) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple4 triple3) -> (rule5 % int3)) ((triple4 triple3) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple3 ((triple1) -> (rule1 % int3))) -> (rule8 % int2)) triple4) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple1) -> (rule1 % int3)) triple3) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((triple3 triple4) -> (rule8 % int4)) ((((triple1) -> (rule1 % int3)) triple3) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple3 ((triple1) -> (rule1 % int3))) -> (rule8 % int2)) ((triple1) -> (rule1 % int3))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((triple3 ((triple1) -> (rule1 % int4))) -> (rule8 % int3)) ((triple3) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple3 ((triple1) -> (rule1 % int4))) -> (rule8 % int3)) ((triple4 triple3) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple4 triple3) -> (rule5 % int4)) ((((triple1) -> (rule1 % int3)) triple3) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((((triple1) -> (rule1 % int3)) triple3) -> (rule5 % int2)) ((triple1) -> (rule1 % int3))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple1) -> (rule1 % int4)) triple3) -> (rule5 % int3)) ((triple3) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple1) -> (rule1 % int4)) triple3) -> (rule5 % int3)) ((triple4 triple3) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple3 ((triple1) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple1) -> (rule1 % int4)) triple3) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple1) -> (rule1 % int4)) triple3) -> (rule5 % int3)) ((((triple1) -> (rule1 % int4)) triple3) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
((triple1) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
((triple12) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple13 triple12) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple8) -> (rule1 % int2)) triple12) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
((triple11 triple13) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple11 triple7) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple11 ((triple12) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((triple11 ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((triple11 ((triple13 triple12) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple12 triple13) -> (rule8 % int2)) triple13) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple12 triple13) -> (rule8 % int2)) triple7) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple13 triple12) -> (rule5 % int2)) triple13) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple13 triple12) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple12 triple13) -> (rule8 % int3)) ((triple12) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple12 triple13) -> (rule8 % int3)) ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple12 triple13) -> (rule8 % int3)) ((triple13 triple12) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple13 triple12) -> (rule5 % int3)) ((triple12) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple13 triple12) -> (rule5 % int3)) ((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple13 triple12) -> (rule5 % int3)) ((triple13 triple12) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((triple11 ((((triple8) -> (rule1 % int3)) triple12) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((triple12 ((triple8) -> (rule1 % int3))) -> (rule8 % int2)) triple13) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((triple12 ((triple8) -> (rule1 % int3))) -> (rule8 % int2)) triple7) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple8) -> (rule1 % int3)) triple12) -> (rule5 % int2)) triple13) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple8) -> (rule1 % int3)) triple12) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((triple12 triple13) -> (rule8 % int4)) ((((triple8) -> (rule1 % int3)) triple12) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple12 ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((triple12) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple12 ((triple8) -> (rule1 % int3))) -> (rule8 % int2)) ((triple8) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((triple12 ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((triple13 triple12) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple13 triple12) -> (rule5 % int4)) ((((triple8) -> (rule1 % int3)) triple12) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((triple8) -> (rule1 % int4)) triple12) -> (rule5 % int3)) ((triple12) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple8) -> (rule1 % int3)) triple12) -> (rule5 % int2)) ((triple8) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple8) -> (rule1 % int4)) triple12) -> (rule5 % int3)) ((triple13 triple12) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple12 ((triple8) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple8) -> (rule1 % int4)) triple12) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple8) -> (rule1 % int4)) triple12) -> (rule5 % int3)) ((((triple8) -> (rule1 % int4)) triple12) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
((triple12 triple13) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple13 triple12) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple12 ((triple8) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple8) -> (rule1 % int2)) triple12) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Fiona is white.
("Fiona" "is" "white" "+")
triple13
((triple8) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
triple14
Harry is cold.
("Harry" "is" "cold" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Charlie is big.
("Charlie" "is" "big" "+")
((triple3) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple4 triple3) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple1) -> (rule1 % int2)) triple3) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple3 triple4) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple4 triple3) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple3 ((triple1) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple1) -> (rule1 % int2)) triple3) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple6) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple5 triple6) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple16) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple14) -> (rule1 % int2)) triple16) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
((triple14) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple16 ((triple14) -> (rule1 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple14) -> (rule1 % int2)) triple16) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((triple16 ((triple14) -> (rule1 % int3))) -> (rule8 % int2)) ((triple14) -> (rule1 % int3))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple16 ((triple14) -> (rule1 % int4))) -> (rule8 % int3)) ((triple16) -> (rule3 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple14) -> (rule1 % int3)) triple16) -> (rule5 % int2)) ((triple14) -> (rule1 % int3))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple14) -> (rule1 % int4)) triple16) -> (rule5 % int3)) ((triple16) -> (rule3 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple16 ((triple14) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple14) -> (rule1 % int4)) triple16) -> (rule4 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((triple14) -> (rule1 % int4)) triple16) -> (rule5 % int3)) ((((triple14) -> (rule1 % int4)) triple16) -> (rule4 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4