Anne is round. Dave is young. Erin is red. Erin is rough. Fiona is big. Fiona is rough. Fiona is round. Rough, kind people are red. Round people are young. If someone is cold then they are round. If someone is cold then they are rough. If someone is young then they are big. If Anne is big and Anne is cold then Anne is rough. If someone is kind then they are round. All round, big people are kind. If someone is kind then they are rough.
Anne is round.
("Anne" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Rough, kind people are red.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is cold then they are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is cold then they are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is young then they are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If Anne is big and Anne is cold then Anne is rough.
((("Anne" "is" "big" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "rough" "+"))
If someone is kind then they are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
All round, big people are kind.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Erin is red.
True
1
proof
[(triple3)]
("Erin" "is" "red" "+")
triple3
Anne is not round.
False
1
inv-proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Fiona is kind.
True
3
proof
[(((triple7 triple5) -> rule8) OR ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8))]
("Fiona" "is" "kind" "+")
((triple7 triple5) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple7 ((((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is not kind.
False
3
inv-proof
[(((triple7 triple5) -> rule8) OR ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8))]
("Fiona" "is" "kind" "-")
((triple7 triple5) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple7 ((((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is red.
True
5
proof
[(((triple6 ((triple7 triple5) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule9) ((triple7 triple5) -> rule8)) -> rule1) OR ((triple6 ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule9) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule1) OR ((((((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule9) ((triple7 triple5) -> rule8)) -> rule1) OR ((((((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule9) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule1))]
("Fiona" "is" "red" "+")
((triple6 ((triple7 triple5) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((((triple7 triple5) -> (rule8 % int3))) -> (rule9 % int2)) ((triple7 triple5) -> (rule8 % int3))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((triple6 ((triple7 ((((triple7) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple7 triple5) -> (rule8 % int5))) -> (rule9 % int4)) ((triple7 ((((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int5))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((triple7 ((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2)) ((triple7 triple5) -> (rule8 % int3))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7 ((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2)) ((triple7 ((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is not red.
False
5
inv-proof
[(((triple6 ((triple7 triple5) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule9) ((triple7 triple5) -> rule8)) -> rule1) OR ((triple6 ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule9) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule1) OR ((((((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule9) ((triple7 triple5) -> rule8)) -> rule1) OR ((((((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule9) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule1))]
("Fiona" "is" "red" "-")
((triple6 ((triple7 triple5) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((((triple7 triple5) -> (rule8 % int3))) -> (rule9 % int2)) ((triple7 triple5) -> (rule8 % int3))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((triple6 ((triple7 ((((triple7) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple7 triple5) -> (rule8 % int5))) -> (rule9 % int4)) ((triple7 ((((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int5))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((triple7 ((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2)) ((triple7 triple5) -> (rule8 % int3))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7 ((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2)) ((triple7 ((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Anne is kind.
True
5
proof
[(((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule8))]
("Anne" "is" "kind" "+")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is not kind.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule8))]
("Anne" "is" "kind" "-")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is rough.
True
6
proof
[(((((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule8)) -> rule9))]
("Anne" "is" "rough" "+")
((((triple1 ((((triple1) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is not rough.
False
6
inv-proof
[(((((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule8)) -> rule9))]
("Anne" "is" "rough" "-")
((((triple1 ((((triple1) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is red.
True
12
proof
[(((((((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule8)) -> rule9) ((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule8)) -> rule1))]
("Anne" "is" "red" "+")
((((((triple1 ((((triple1) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2)) ((triple1 ((((triple1) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is not red.
False
12
inv-proof
[(((((((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule8)) -> rule9) ((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule8)) -> rule1))]
("Anne" "is" "red" "-")
((((((triple1 ((((triple1) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2)) ((triple1 ((((triple1) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Dave is not kind.
Unknown
inv-rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule8 <- rule3 <- FAIL)]]
("Dave" "is" "kind" "-")
Erin is young.
Unknown
rconc
[@4: Erin is young.[CWA. Example of deepest failure = (rule2 <- rule7 <- rule8 <- rule3 <- FAIL)]]
("Erin" "is" "young" "+")
Dave is not red.
Unknown
inv-rconc
[@3: Dave is red.[CWA. Example of deepest failure = (rule1 <- rule8 <- rule3 <- FAIL)]]
("Dave" "is" "red" "-")
Erin is round.
Unknown
rconc
[@3: Erin is round.[CWA. Example of deepest failure = (rule7 <- rule8 <- rule3 <- FAIL)]]
("Erin" "is" "round" "+")
Erin is not big.
Unknown
inv-rconc
[@4: Erin is big.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule7 <- rule8 <- FAIL)]]
("Erin" "is" "big" "-")
Dave is round.
Unknown
rconc
[@3: Dave is round.[CWA. Example of deepest failure = (rule7 <- rule8 <- rule3 <- FAIL)]]
("Dave" "is" "round" "+")
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Anne is round.[(triple1)] Dave is young.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Fiona is big.[(triple5 OR ((((triple7) -> rule2)) -> rule5))] Fiona is rough.[(triple6 OR ((((triple7 triple5) -> rule8)) -> rule9) OR ((((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule9))] Fiona is round.[(triple7)] @1: Anne is young.[(((triple1) -> rule2))] Dave is big.[(((triple2) -> rule5))] Fiona is kind.[(((triple7 triple5) -> rule8) OR ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8))] Fiona is young.[(((triple7) -> rule2))] @2: Anne is big.[(((((triple1) -> rule2)) -> rule5))] Fiona is red.[(((triple6 ((triple7 triple5) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule9) ((triple7 triple5) -> rule8)) -> rule1) OR ((triple6 ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule1) OR ((((((triple7 triple5) -> rule8)) -> rule9) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule1) OR ((((((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule9) ((triple7 triple5) -> rule8)) -> rule1) OR ((((((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule9) ((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8)) -> rule1))] @3: Anne is kind.[(((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule8))] @4: Anne is rough.[(((((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule8)) -> rule9))] @5: Anne is red.[(((((((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule8)) -> rule9) ((triple1 ((((triple1) -> rule2)) -> rule5)) -> rule8)) -> rule1))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
((((triple7) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
((((triple7 triple5) -> (rule8 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple7 ((((triple7) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple2) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple7 triple5) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple7 ((((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
((triple7) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((triple6 ((triple7 triple5) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((((triple7 triple5) -> (rule8 % int3))) -> (rule9 % int2)) ((triple7 triple5) -> (rule8 % int3))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((triple6 ((triple7 ((((triple7) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((((triple7 triple5) -> (rule8 % int5))) -> (rule9 % int4)) ((triple7 ((((triple7) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int5))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((triple7 ((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2)) ((triple7 triple5) -> (rule8 % int3))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((((((triple7 ((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2)) ((triple7 ((((triple7) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
((((triple1 ((((triple1) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
((((((triple1 ((((triple1) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule9 % int2)) ((triple1 ((((triple1) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5