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