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