Charlie is big. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is young. Erin is nice. Erin is rough. Erin is young. Fiona is furry. Fiona is kind. Gary is big. Gary is rough. Gary is white. If something is nice and kind then it is young. If something is furry then it is big. White, furry things are nice. All big things are rough. All young things are big. If Gary is white and Gary is young then Gary is furry. All young, furry things are big. If Charlie is white and Charlie is rough then Charlie is young. All rough things are white.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is nice and kind then it is young.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
If something is furry then it is big.
((("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
White, furry things are nice.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
All big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
All young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If Gary is white and Gary is young then Gary is furry.
((("Gary" "is" "white" "+") ("Gary" "is" "young" "+")) -> ("Gary" "is" "furry" "+"))
All young, furry things are big.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If Charlie is white and Charlie is rough then Charlie is young.
((("Charlie" "is" "white" "+") ("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "young" "+"))
All rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Fiona is kind.
True
1
proof
[(triple11)]
("Fiona" "is" "kind" "+")
triple11
Charlie is not furry.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "furry" "-")
triple2
Charlie is white.
True
2
proof
[(((triple5) -> rule9) OR ((((triple1) -> rule4)) -> rule9) OR ((((((triple2) -> rule2)) -> rule4)) -> rule9) OR ((((((triple6) -> rule5)) -> rule4)) -> rule9) OR ((((((triple6 triple2) -> rule7)) -> rule4)) -> rule9) OR ((((((((triple4 triple3) -> rule1)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple4 triple3) -> rule1) triple2) -> rule7)) -> rule4)) -> rule9))]
("Charlie" "is" "white" "+")
((triple5) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple6 triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((((triple4 triple3) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple4 triple3) -> (rule1 % int4)) triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Erin is not big.
False
2
inv-proof
[(((triple9) -> rule5))]
("Erin" "is" "big" "-")
((triple9) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Fiona is rough.
True
3
proof
[(((((triple10) -> rule2)) -> rule4))]
("Fiona" "is" "rough" "+")
((((triple10) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not rough.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule4))]
("Fiona" "is" "rough" "-")
((((triple10) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
True
4
proof
[(((((((triple10) -> rule2)) -> rule4)) -> rule9))]
("Fiona" "is" "white" "+")
((((((triple10) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is not white.
False
4
inv-proof
[(((((((triple10) -> rule2)) -> rule4)) -> rule9))]
("Fiona" "is" "white" "-")
((((((triple10) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is nice.
True
6
proof
[(((((((((triple10) -> rule2)) -> rule4)) -> rule9) triple10) -> rule3))]
("Fiona" "is" "nice" "+")
((((((((triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int2)) triple10) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is not nice.
False
6
inv-proof
[(((((((((triple10) -> rule2)) -> rule4)) -> rule9) triple10) -> rule3))]
("Fiona" "is" "nice" "-")
((((((((triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int2)) triple10) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
True
8
proof
[(((((((((((triple10) -> rule2)) -> rule4)) -> rule9) triple10) -> rule3) triple11) -> rule1))]
("Fiona" "is" "young" "+")
((((((((((triple10) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int3)) triple10) -> (rule3 % int2)) triple11) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is not young.
False
8
inv-proof
[(((((((((((triple10) -> rule2)) -> rule4)) -> rule9) triple10) -> rule3) triple11) -> rule1))]
("Fiona" "is" "young" "-")
((((((((((triple10) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int3)) triple10) -> (rule3 % int2)) triple11) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Gary is not furry.
Unknown
inv-rconc
[@2: Gary is furry.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is nice.
Unknown
rconc
[@3: Gary is nice.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule1 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "young" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Charlie is big.[(triple1 OR ((triple2) -> rule2) OR ((triple6) -> rule5) OR ((triple6 triple2) -> rule7) OR ((((triple4 triple3) -> rule1)) -> rule5) OR ((((triple4 triple3) -> rule1) triple2) -> rule7) OR ((((((triple5) -> rule9) triple5) -> rule8)) -> rule5) OR ((((((triple5) -> rule9) triple5) -> rule8) triple2) -> rule7) OR ((((((((triple5) -> rule9) triple2) -> rule3) triple3) -> rule1)) -> rule5) OR ((((((((triple5) -> rule9) triple2) -> rule3) triple3) -> rule1) triple2) -> rule7))] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((((triple5) -> rule9) triple2) -> rule3) OR ((((((triple1) -> rule4)) -> rule9) triple2) -> rule3) OR ((((((((triple2) -> rule2)) -> rule4)) -> rule9) triple2) -> rule3) OR ((((((((triple6) -> rule5)) -> rule4)) -> rule9) triple2) -> rule3) OR ((((((((triple6 triple2) -> rule7)) -> rule4)) -> rule9) triple2) -> rule3))] Charlie is rough.[(triple5 OR ((triple1) -> rule4) OR ((((triple2) -> rule2)) -> rule4) OR ((((triple6) -> rule5)) -> rule4) OR ((((triple6 triple2) -> rule7)) -> rule4) OR ((((((triple4 triple3) -> rule1)) -> rule5)) -> rule4) OR ((((((triple4 triple3) -> rule1) triple2) -> rule7)) -> rule4))] Charlie is young.[(triple6 OR ((triple4 triple3) -> rule1) OR ((((triple5) -> rule9) triple5) -> rule8) OR ((((triple5) -> rule9) ((triple1) -> rule4)) -> rule8) OR ((((((triple1) -> rule4)) -> rule9) triple5) -> rule8) OR ((((((triple5) -> rule9) triple2) -> rule3) triple3) -> rule1) OR ((((triple5) -> rule9) ((((triple2) -> rule2)) -> rule4)) -> rule8) OR ((((((triple1) -> rule4)) -> rule9) ((triple1) -> rule4)) -> rule8) OR ((((((triple1) -> rule4)) -> rule9) ((((triple2) -> rule2)) -> rule4)) -> rule8) OR ((((((((triple2) -> rule2)) -> rule4)) -> rule9) triple5) -> rule8) OR ((((((((triple1) -> rule4)) -> rule9) triple2) -> rule3) triple3) -> rule1) OR ((((((((triple2) -> rule2)) -> rule4)) -> rule9) ((triple1) -> rule4)) -> rule8) OR ((((((((triple2) -> rule2)) -> rule4)) -> rule9) ((((triple2) -> rule2)) -> rule4)) -> rule8) OR ((((((((((triple2) -> rule2)) -> rule4)) -> rule9) triple2) -> rule3) triple3) -> rule1))] Erin is nice.[(triple7)] Erin is rough.[(triple8 OR ((((triple9) -> rule5)) -> rule4))] Erin is young.[(triple9)] Fiona is furry.[(triple10)] Fiona is kind.[(triple11)] Gary is big.[(triple12)] Gary is rough.[(triple13 OR ((triple12) -> rule4))] Gary is white.[(triple14 OR ((triple13) -> rule9) OR ((((triple12) -> rule4)) -> rule9))] @1: Charlie is white.[(((triple5) -> rule9) OR ((((triple1) -> rule4)) -> rule9) OR ((((((triple2) -> rule2)) -> rule4)) -> rule9) OR ((((((triple6) -> rule5)) -> rule4)) -> rule9) OR ((((((triple6 triple2) -> rule7)) -> rule4)) -> rule9) OR ((((((((triple4 triple3) -> rule1)) -> rule5)) -> rule4)) -> rule9) OR ((((((((triple4 triple3) -> rule1) triple2) -> rule7)) -> rule4)) -> rule9))] Erin is big.[(((triple9) -> rule5))] Erin is white.[(((triple8) -> rule9) OR ((((((triple9) -> rule5)) -> rule4)) -> rule9))] Fiona is big.[(((triple10) -> rule2))] @2: Fiona is rough.[(((((triple10) -> rule2)) -> rule4))] @3: Fiona is white.[(((((((triple10) -> rule2)) -> rule4)) -> rule9))] @4: Fiona is nice.[(((((((((triple10) -> rule2)) -> rule4)) -> rule9) triple10) -> rule3))] @5: Fiona is young.[(((((((((((triple10) -> rule2)) -> rule4)) -> rule9) triple10) -> rule3) triple11) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple2) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple6) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple6 triple2) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple4 triple3) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple4 triple3) -> (rule1 % int2)) triple2) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((((triple5) -> (rule9 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple5) -> (rule9 % int3)) triple5) -> (rule8 % int2)) triple2) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((((triple5) -> (rule9 % int4)) triple2) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple5) -> (rule9 % int4)) triple2) -> (rule3 % int3)) triple3) -> (rule1 % int2)) triple2) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
((((triple5) -> (rule9 % int2)) triple2) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((((triple1) -> (rule4 % int3))) -> (rule9 % int2)) triple2) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((((triple2) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int2)) triple2) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple6) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule9 % int2)) triple2) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple6 triple2) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule9 % int2)) triple2) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
((triple1) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple6 triple2) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((((triple4 triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((((triple4 triple3) -> (rule1 % int3)) triple2) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
triple6
((triple4 triple3) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple5) -> (rule9 % int2)) triple5) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple5) -> (rule9 % int3)) ((triple1) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple1) -> (rule4 % int3))) -> (rule9 % int2)) triple5) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple5) -> (rule9 % int3)) triple2) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((triple5) -> (rule9 % int4)) ((((triple2) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple1) -> (rule4 % int3))) -> (rule9 % int2)) ((triple1) -> (rule4 % int3))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple1) -> (rule4 % int4))) -> (rule9 % int3)) ((((triple2) -> (rule2 % int2))) -> (rule4 % int4))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((((triple2) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int2)) triple5) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple1) -> (rule4 % int4))) -> (rule9 % int3)) triple2) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((((triple2) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int2)) ((triple1) -> (rule4 % int3))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple2) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int2)) ((((triple2) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((((triple2) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int3)) triple2) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
((((triple9) -> (rule5 % int2))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is rough.
("Gary" "is" "rough" "+")
triple13
((triple12) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple14
((triple13) -> (rule9 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple12) -> (rule4 % int2))) -> (rule9 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((triple5) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((((triple2) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple6 triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((((triple4 triple3) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple4 triple3) -> (rule1 % int4)) triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
((triple9) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple8) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((((triple9) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
((triple10) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple10) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple10) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
((((((((triple10) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule9 % int2)) triple10) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
((((((((((triple10) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule9 % int3)) triple10) -> (rule3 % int2)) triple11) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5