Anne is nice. Anne is round. Fiona is big. Gary is nice. Gary is young. Harry is green. Harry is young. Nice things are young. All young, green things are smart. Rough, nice things are big. Smart things are round. If something is big then it is young. If something is round and young then it is rough. If something is nice then it is green. If Fiona is big and Fiona is nice then Fiona is green.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
All young, green things are smart.
((("something" "is" "young" "+") ("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
Rough, nice things are big.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Smart things are round.
((("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
If something is big then it is young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
If something is round and young then it is rough.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If something is nice then it is green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If Fiona is big and Fiona is nice then Fiona is green.
((("Fiona" "is" "big" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "green" "+"))
Anne is nice.
True
1
proof
[(triple1)]
("Anne" "is" "nice" "+")
triple1
Harry is not green.
False
1
inv-proof
[(triple6)]
("Harry" "is" "green" "-")
triple6
Fiona is young.
True
2
proof
[(((triple3) -> rule5))]
("Fiona" "is" "young" "+")
((triple3) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Anne is not green.
False
2
inv-proof
[(((triple1) -> rule7))]
("Anne" "is" "green" "-")
((triple1) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Harry is round.
True
4
proof
[(((((triple7 triple6) -> rule2)) -> rule4))]
("Harry" "is" "round" "+")
((((triple7 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Anne is not rough.
False
4
inv-proof
[(((triple2 ((triple1) -> rule1)) -> rule6) OR ((((((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule6))]
("Anne" "is" "rough" "-")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((((((triple1) -> (rule1 % int5)) ((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule1 % int5))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Gary is round.
True
5
proof
[(((((triple5 ((triple4) -> rule7)) -> rule2)) -> rule4) OR ((((((triple4) -> rule1) ((triple4) -> rule7)) -> rule2)) -> rule4))]
("Gary" "is" "round" "+")
((((triple5 ((triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple4) -> (rule1 % int4)) ((triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Harry is not rough.
False
6
inv-proof
[(((((((triple7 triple6) -> rule2)) -> rule4) triple7) -> rule6))]
("Harry" "is" "rough" "-")
((((((triple7 triple6) -> (rule2 % int3))) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Gary is rough.
True
7
proof
[(((((((triple5 ((triple4) -> rule7)) -> rule2)) -> rule4) triple5) -> rule6) OR ((((((triple5 ((triple4) -> rule7)) -> rule2)) -> rule4) ((triple4) -> rule1)) -> rule6) OR ((((((((triple4) -> rule1) ((triple4) -> rule7)) -> rule2)) -> rule4) triple5) -> rule6) OR ((((((((triple4) -> rule1) ((triple4) -> rule7)) -> rule2)) -> rule4) ((triple4) -> rule1)) -> rule6))]
("Gary" "is" "rough" "+")
((((((triple5 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple5 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple4) -> (rule1 % int5)) ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((triple4) -> (rule1 % int5)) ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple4) -> (rule1 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is not rough.
False
7
inv-proof
[(((((((triple5 ((triple4) -> rule7)) -> rule2)) -> rule4) triple5) -> rule6) OR ((((((triple5 ((triple4) -> rule7)) -> rule2)) -> rule4) ((triple4) -> rule1)) -> rule6) OR ((((((((triple4) -> rule1) ((triple4) -> rule7)) -> rule2)) -> rule4) triple5) -> rule6) OR ((((((((triple4) -> rule1) ((triple4) -> rule7)) -> rule2)) -> rule4) ((triple4) -> rule1)) -> rule6))]
("Gary" "is" "rough" "-")
((((((triple5 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple5 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple4) -> (rule1 % int5)) ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((triple4) -> (rule1 % int5)) ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple4) -> (rule1 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is big.
True
9
proof
[(((((((((triple5 ((triple4) -> rule7)) -> rule2)) -> rule4) triple5) -> rule6) triple4) -> rule3) OR ((((((((triple5 ((triple4) -> rule7)) -> rule2)) -> rule4) ((triple4) -> rule1)) -> rule6) triple4) -> rule3) OR ((((((((((triple4) -> rule1) ((triple4) -> rule7)) -> rule2)) -> rule4) triple5) -> rule6) triple4) -> rule3) OR ((((((((((triple4) -> rule1) ((triple4) -> rule7)) -> rule2)) -> rule4) ((triple4) -> rule1)) -> rule6) triple4) -> rule3))]
("Gary" "is" "big" "+")
((((((((triple5 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) triple5) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple5 ((triple4) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule4 % int4)) ((triple4) -> (rule1 % int3))) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((((((triple4) -> (rule1 % int6)) ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) triple5) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((triple4) -> (rule1 % int6)) ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple4) -> (rule1 % int6))) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
Gary is not big.
False
9
inv-proof
[(((((((((triple5 ((triple4) -> rule7)) -> rule2)) -> rule4) triple5) -> rule6) triple4) -> rule3) OR ((((((((triple5 ((triple4) -> rule7)) -> rule2)) -> rule4) ((triple4) -> rule1)) -> rule6) triple4) -> rule3) OR ((((((((((triple4) -> rule1) ((triple4) -> rule7)) -> rule2)) -> rule4) triple5) -> rule6) triple4) -> rule3) OR ((((((((((triple4) -> rule1) ((triple4) -> rule7)) -> rule2)) -> rule4) ((triple4) -> rule1)) -> rule6) triple4) -> rule3))]
("Gary" "is" "big" "-")
((((((((triple5 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) triple5) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple5 ((triple4) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule4 % int4)) ((triple4) -> (rule1 % int3))) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((((((triple4) -> (rule1 % int6)) ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) triple5) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((triple4) -> (rule1 % int6)) ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple4) -> (rule1 % int6))) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Fiona is rough.
Unknown
rconc
[@4: Fiona is rough.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule2 <- rule7 <- FAIL)]]
("Fiona" "is" "rough" "+")
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "green" "-")
Fiona is smart.
Unknown
rconc
[@2: Fiona is smart.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Fiona" "is" "smart" "+")
Fiona is not round.
Unknown
inv-rconc
[@3: Fiona is round.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule7 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Anne is nice.[(triple1)] Anne is round.[(triple2 OR ((((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule4))] Fiona is big.[(triple3)] Gary is nice.[(triple4)] Gary is young.[(triple5 OR ((triple4) -> rule1))] Harry is green.[(triple6)] Harry is young.[(triple7)] @1: Anne is green.[(((triple1) -> rule7))] Anne is young.[(((triple1) -> rule1))] Fiona is young.[(((triple3) -> rule5))] Gary is green.[(((triple4) -> rule7))] Harry is smart.[(((triple7 triple6) -> rule2))] @2: Anne is rough.[(((triple2 ((triple1) -> rule1)) -> rule6) OR ((((((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule6))] Anne is smart.[(((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2))] Gary is smart.[(((triple5 ((triple4) -> rule7)) -> rule2) OR ((((triple4) -> rule1) ((triple4) -> rule7)) -> rule2))] Harry is round.[(((((triple7 triple6) -> rule2)) -> rule4))] @3: Anne is big.[(((((triple2 ((triple1) -> rule1)) -> rule6) triple1) -> rule3) OR ((((((((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule4) ((triple1) -> rule1)) -> rule6) triple1) -> rule3))] Gary is round.[(((((triple5 ((triple4) -> rule7)) -> rule2)) -> rule4) OR ((((((triple4) -> rule1) ((triple4) -> rule7)) -> rule2)) -> rule4))] Harry is rough.[(((((((triple7 triple6) -> rule2)) -> rule4) triple7) -> rule6))] @4: Gary is rough.[(((((((triple5 ((triple4) -> rule7)) -> rule2)) -> rule4) triple5) -> rule6) OR ((((((triple5 ((triple4) -> rule7)) -> rule2)) -> rule4) ((triple4) -> rule1)) -> rule6) OR ((((((((triple4) -> rule1) ((triple4) -> rule7)) -> rule2)) -> rule4) triple5) -> rule6) OR ((((((((triple4) -> rule1) ((triple4) -> rule7)) -> rule2)) -> rule4) ((triple4) -> rule1)) -> rule6))] @5: Gary is big.[(((((((((triple5 ((triple4) -> rule7)) -> rule2)) -> rule4) triple5) -> rule6) triple4) -> rule3) OR ((((((((triple5 ((triple4) -> rule7)) -> rule2)) -> rule4) ((triple4) -> rule1)) -> rule6) triple4) -> rule3) OR ((((((((((triple4) -> rule1) ((triple4) -> rule7)) -> rule2)) -> rule4) triple5) -> rule6) triple4) -> rule3) OR ((((((((((triple4) -> rule1) ((triple4) -> rule7)) -> rule2)) -> rule4) ((triple4) -> rule1)) -> rule6) triple4) -> rule3))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
((((((triple1) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
triple5
((triple4) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple3) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple4) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple7 triple6) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple2 ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((((((triple1) -> (rule1 % int5)) ((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule1 % int5))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
((((triple1) -> (rule1 % int3)) ((triple1) -> (rule7 % int2))) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
((triple5 ((triple4) -> (rule7 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple4) -> (rule1 % int3)) ((triple4) -> (rule7 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
((((triple7 triple6) -> (rule2 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
((((triple2 ((triple1) -> (rule1 % int3))) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((((((triple1) -> (rule1 % int6)) ((triple1) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple1) -> (rule1 % int6))) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
Gary is round.
("Gary" "is" "round" "+")
((((triple5 ((triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple4) -> (rule1 % int4)) ((triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
((((((triple7 triple6) -> (rule2 % int3))) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple5 ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple5 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple4) -> (rule1 % int5)) ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple5) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
((((((((triple4) -> (rule1 % int5)) ((triple4) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple4) -> (rule1 % int5))) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
((((((((triple5 ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) triple5) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple5 ((triple4) -> (rule7 % int6))) -> (rule2 % int5))) -> (rule4 % int4)) ((triple4) -> (rule1 % int3))) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
((((((((((triple4) -> (rule1 % int6)) ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) triple5) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6
((((((((((triple4) -> (rule1 % int6)) ((triple4) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple4) -> (rule1 % int6))) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Gary is young.
("Gary" "is" "young" "+")
int6