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