Anne is blue. Anne is kind. Anne is quiet. Anne is white. Bob is kind. Bob is quiet. Bob is smart. Bob is young. Fiona is kind. Harry is big. If something is big and white then it is quiet. All smart things are young. All smart, blue things are young. If something is white then it is big. Kind things are white. All quiet, kind things are smart. Young things are blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If something is big and white then it is quiet.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
All smart things are young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
All smart, blue things are young.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If something is white then it is big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
Kind things are white.
((("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
All quiet, kind things are smart.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "smart" "+"))
Young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Anne is kind.
True
1
proof
[(triple2)]
("Anne" "is" "kind" "+")
triple2
Anne is not quiet.
False
1
inv-proof
[(triple3 OR ((((triple4) -> rule4) triple4) -> rule1) OR ((((triple4) -> rule4) ((triple2) -> rule5)) -> rule1) OR ((((((triple2) -> rule5)) -> rule4) triple4) -> rule1) OR ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule1))]
("Anne" "is" "quiet" "-")
triple3
((((triple4) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple4) -> (rule4 % int3)) ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2) -> (rule5 % int3))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Bob is blue.
True
2
proof
[(((triple8) -> rule7) OR ((((triple7) -> rule2)) -> rule7) OR ((((((triple6 triple5) -> rule6)) -> rule2)) -> rule7) OR ((((((((((((triple5) -> rule5)) -> rule4) ((triple5) -> rule5)) -> rule1) triple5) -> rule6)) -> rule2)) -> rule7))]
("Bob" "is" "blue" "+")
((triple8) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple6 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((((((((triple5) -> (rule5 % int6))) -> (rule4 % int5)) ((triple5) -> (rule5 % int6))) -> (rule1 % int4)) triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
Fiona is not white.
False
2
inv-proof
[(((triple9) -> rule5))]
("Fiona" "is" "white" "-")
((triple9) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is young.
True
4
proof
[(((((triple3 triple2) -> rule6)) -> rule2) OR ((((triple3 triple2) -> rule6) triple1) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple2) -> rule6)) -> rule2) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple2) -> rule6) triple1) -> rule3) OR ((((((((triple4) -> rule4) ((triple2) -> rule5)) -> rule1) triple2) -> rule6)) -> rule2) OR ((((((((triple4) -> rule4) ((triple2) -> rule5)) -> rule1) triple2) -> rule6) triple1) -> rule3) OR ((((((((((triple2) -> rule5)) -> rule4) triple4) -> rule1) triple2) -> rule6)) -> rule2) OR ((((((((((triple2) -> rule5)) -> rule4) triple4) -> rule1) triple2) -> rule6) triple1) -> rule3) OR ((((((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule1) triple2) -> rule6)) -> rule2) OR ((((((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule1) triple2) -> rule6) triple1) -> rule3))]
("Anne" "is" "young" "+")
((((triple3 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple3 triple2) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule1 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule1 % int3)) triple2) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple4) -> (rule4 % int5)) ((triple2) -> (rule5 % int4))) -> (rule1 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple4) -> (rule4 % int5)) ((triple2) -> (rule5 % int4))) -> (rule1 % int3)) triple2) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) triple4) -> (rule1 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) triple4) -> (rule1 % int3)) triple2) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2) -> (rule5 % int5))) -> (rule1 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2) -> (rule5 % int5))) -> (rule1 % int3)) triple2) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Bob is not big.
False
3
inv-proof
[(((((triple5) -> rule5)) -> rule4))]
("Bob" "is" "big" "-")
((((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Fiona is quiet.
True
6
proof
[(((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule1))]
("Fiona" "is" "quiet" "+")
((((((triple9) -> (rule5 % int3))) -> (rule4 % int2)) ((triple9) -> (rule5 % int3))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is not quiet.
False
6
inv-proof
[(((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule1))]
("Fiona" "is" "quiet" "-")
((((((triple9) -> (rule5 % int3))) -> (rule4 % int2)) ((triple9) -> (rule5 % int3))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is smart.
True
8
proof
[(((((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule1) triple9) -> rule6))]
("Fiona" "is" "smart" "+")
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple9) -> (rule5 % int4))) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is not smart.
False
8
inv-proof
[(((((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule1) triple9) -> rule6))]
("Fiona" "is" "smart" "-")
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple9) -> (rule5 % int4))) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is young.
True
9
proof
[(((((((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule1) triple9) -> rule6)) -> rule2))]
("Fiona" "is" "young" "+")
((((((((((triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((triple9) -> (rule5 % int5))) -> (rule1 % int3)) triple9) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is not young.
False
9
inv-proof
[(((((((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule1) triple9) -> rule6)) -> rule2))]
("Fiona" "is" "young" "-")
((((((((((triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((triple9) -> (rule5 % int5))) -> (rule1 % int3)) triple9) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Harry is not blue.
Unknown
inv-rconc
[@3: Harry is blue.[CWA. Example of deepest failure = (rule7 <- rule2 <- rule6 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is young.
Unknown
rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "white" "-")
Harry is smart.
Unknown
rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "smart" "+")
Harry is not quiet.
Unknown
inv-rconc
[@2: Harry is quiet.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Harry" "is" "quiet" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Anne is blue.[(triple1 OR ((((((triple3 triple2) -> rule6)) -> rule2)) -> rule7) OR ((((((((((triple4) -> rule4) triple4) -> rule1) triple2) -> rule6)) -> rule2)) -> rule7) OR ((((((((((triple4) -> rule4) ((triple2) -> rule5)) -> rule1) triple2) -> rule6)) -> rule2)) -> rule7) OR ((((((((((((triple2) -> rule5)) -> rule4) triple4) -> rule1) triple2) -> rule6)) -> rule2)) -> rule7) OR ((((((((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule1) triple2) -> rule6)) -> rule2)) -> rule7))] Anne is kind.[(triple2)] Anne is quiet.[(triple3 OR ((((triple4) -> rule4) triple4) -> rule1) OR ((((triple4) -> rule4) ((triple2) -> rule5)) -> rule1) OR ((((((triple2) -> rule5)) -> rule4) triple4) -> rule1) OR ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule1))] Anne is white.[(triple4 OR ((triple2) -> rule5))] Bob is kind.[(triple5)] Bob is quiet.[(triple6 OR ((((((triple5) -> rule5)) -> rule4) ((triple5) -> rule5)) -> rule1))] Bob is smart.[(triple7 OR ((triple6 triple5) -> rule6) OR ((((((((triple5) -> rule5)) -> rule4) ((triple5) -> rule5)) -> rule1) triple5) -> rule6))] Bob is young.[(triple8 OR ((triple7) -> rule2) OR ((((triple6 triple5) -> rule6)) -> rule2) OR ((((((((((triple5) -> rule5)) -> rule4) ((triple5) -> rule5)) -> rule1) triple5) -> rule6)) -> rule2))] Fiona is kind.[(triple9)] Harry is big.[(triple10)] @1: Anne is big.[(((triple4) -> rule4) OR ((((triple2) -> rule5)) -> rule4))] Anne is smart.[(((triple3 triple2) -> rule6) OR ((((((triple4) -> rule4) triple4) -> rule1) triple2) -> rule6) OR ((((((triple4) -> rule4) ((triple2) -> rule5)) -> rule1) triple2) -> rule6) OR ((((((((triple2) -> rule5)) -> rule4) triple4) -> rule1) triple2) -> rule6) OR ((((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule1) triple2) -> rule6))] Bob is blue.[(((triple8) -> rule7) OR ((((triple7) -> rule2)) -> rule7) OR ((((((triple6 triple5) -> rule6)) -> rule2)) -> rule7) OR ((((((((((((triple5) -> rule5)) -> rule4) ((triple5) -> rule5)) -> rule1) triple5) -> rule6)) -> rule2)) -> rule7))] Bob is white.[(((triple5) -> rule5))] Fiona is white.[(((triple9) -> rule5))] @2: Anne is young.[(((((triple3 triple2) -> rule6)) -> rule2) OR ((((triple3 triple2) -> rule6) triple1) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple2) -> rule6)) -> rule2) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple2) -> rule6) triple1) -> rule3) OR ((((((((triple4) -> rule4) ((triple2) -> rule5)) -> rule1) triple2) -> rule6)) -> rule2) OR ((((((((triple4) -> rule4) ((triple2) -> rule5)) -> rule1) triple2) -> rule6) triple1) -> rule3) OR ((((((((((triple2) -> rule5)) -> rule4) triple4) -> rule1) triple2) -> rule6)) -> rule2) OR ((((((((((triple2) -> rule5)) -> rule4) triple4) -> rule1) triple2) -> rule6) triple1) -> rule3) OR ((((((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule1) triple2) -> rule6)) -> rule2) OR ((((((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule1) triple2) -> rule6) triple1) -> rule3))] Bob is big.[(((((triple5) -> rule5)) -> rule4))] Fiona is big.[(((((triple9) -> rule5)) -> rule4))] @3: Fiona is quiet.[(((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule1))] @4: Fiona is smart.[(((((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule1) triple9) -> rule6))] @5: Fiona is young.[(((((((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule1) triple9) -> rule6)) -> rule2))] @6: Fiona is blue.[(((((((((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule1) triple9) -> rule6)) -> rule2)) -> rule7))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((((((triple3 triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((((((triple4) -> (rule4 % int5)) triple4) -> (rule1 % int4)) triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((((triple4) -> (rule4 % int6)) ((triple2) -> (rule5 % int5))) -> (rule1 % int4)) triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((((((triple2) -> (rule5 % int6))) -> (rule4 % int5)) triple4) -> (rule1 % int4)) triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
int6
((((((((((((triple2) -> (rule5 % int6))) -> (rule4 % int5)) ((triple2) -> (rule5 % int6))) -> (rule1 % int4)) triple2) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
int6
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((((triple4) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple4) -> (rule4 % int3)) ((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2) -> (rule5 % int3))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
triple4
((triple2) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple6
((((((triple5) -> (rule5 % int3))) -> (rule4 % int2)) ((triple5) -> (rule5 % int3))) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
triple7
((triple6 triple5) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((((((triple5) -> (rule5 % int4))) -> (rule4 % int3)) ((triple5) -> (rule5 % int4))) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
triple8
((triple7) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple6 triple5) -> (rule6 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((((((((triple5) -> (rule5 % int5))) -> (rule4 % int4)) ((triple5) -> (rule5 % int5))) -> (rule1 % int3)) triple5) -> (rule6 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
Anne is big.
("Anne" "is" "big" "+")
((triple4) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
((triple3 triple2) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((((triple4) -> (rule4 % int3)) triple4) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple4) -> (rule4 % int4)) ((triple2) -> (rule5 % int3))) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) triple4) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((((triple2) -> (rule5 % int4))) -> (rule4 % int3)) ((triple2) -> (rule5 % int4))) -> (rule1 % int2)) triple2) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
((triple8) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple6 triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((((((((triple5) -> (rule5 % int6))) -> (rule4 % int5)) ((triple5) -> (rule5 % int6))) -> (rule1 % int4)) triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
Bob is white.
("Bob" "is" "white" "+")
((triple5) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple9) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((((triple3 triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple3 triple2) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule1 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule1 % int3)) triple2) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple4) -> (rule4 % int5)) ((triple2) -> (rule5 % int4))) -> (rule1 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple4) -> (rule4 % int5)) ((triple2) -> (rule5 % int4))) -> (rule1 % int3)) triple2) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) triple4) -> (rule1 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) triple4) -> (rule1 % int3)) triple2) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2) -> (rule5 % int5))) -> (rule1 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((((((triple2) -> (rule5 % int5))) -> (rule4 % int4)) ((triple2) -> (rule5 % int5))) -> (rule1 % int3)) triple2) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
((((triple5) -> (rule5 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((triple9) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((triple9) -> (rule5 % int3))) -> (rule4 % int2)) ((triple9) -> (rule5 % int3))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
((((((((triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((triple9) -> (rule5 % int4))) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
((((((((((triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((triple9) -> (rule5 % int5))) -> (rule1 % int3)) triple9) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((((((((triple9) -> (rule5 % int6))) -> (rule4 % int5)) ((triple9) -> (rule5 % int6))) -> (rule1 % int4)) triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is white.
("Fiona" "is" "white" "+")
int6