Anne is round. Charlie is green. Charlie is nice. Charlie is young. Dave is big. Dave is cold. Dave is green. Dave is round. Harry is big. Harry is green. Harry is round. All round, young things are big. All round, green things are nice. Round, young things are nice. If something is nice and round then it is green. If Anne is kind and Anne is big then Anne is cold. All round things are green. If Anne is big then Anne is kind. Green, nice things are young.
Anne is round.
("Anne" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
All round, young things are big.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
All round, green things are nice.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
Round, young things are nice.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something is nice and round then it is green.
((("something" "is" "nice" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If Anne is kind and Anne is big then Anne is cold.
((("Anne" "is" "kind" "+") ("Anne" "is" "big" "+")) -> ("Anne" "is" "cold" "+"))
All round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If Anne is big then Anne is kind.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "kind" "+"))
Green, nice things are young.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Charlie is green.
True
1
proof
[(triple2)]
("Charlie" "is" "green" "+")
triple2
Charlie is not green.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "green" "-")
triple2
Harry is nice.
True
3
proof
[(((triple11 triple10) -> rule2) OR ((triple11 ((triple11) -> rule6)) -> rule2))]
("Harry" "is" "nice" "+")
((triple11 triple10) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple11 ((triple11) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Anne is not green.
False
2
inv-proof
[(((triple1) -> rule6))]
("Anne" "is" "green" "-")
((triple1) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Harry is young.
True
5
proof
[(((triple10 ((triple11 triple10) -> rule2)) -> rule8) OR ((((triple11) -> rule6) ((triple11 triple10) -> rule2)) -> rule8) OR ((triple10 ((triple11 ((triple11) -> rule6)) -> rule2)) -> rule8) OR ((((triple11) -> rule6) ((triple11 ((triple11) -> rule6)) -> rule2)) -> rule8))]
("Harry" "is" "young" "+")
((triple10 ((triple11 triple10) -> (rule2 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple11) -> (rule6 % int3)) ((triple11 triple10) -> (rule2 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((triple10 ((triple11 ((triple11) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple11) -> (rule6 % int3)) ((triple11 ((triple11) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Dave is not young.
False
5
inv-proof
[(((triple7 ((triple8 triple7) -> rule2)) -> rule8) OR ((((triple8) -> rule6) ((triple8 triple7) -> rule2)) -> rule8) OR ((triple7 ((triple8 ((triple8) -> rule6)) -> rule2)) -> rule8) OR ((((triple8) -> rule6) ((triple8 ((triple8) -> rule6)) -> rule2)) -> rule8))]
("Dave" "is" "young" "-")
((triple7 ((triple8 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple8) -> (rule6 % int3)) ((triple8 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple7 ((triple8 ((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple8) -> (rule6 % int3)) ((triple8 ((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Anne is young.
True
7
proof
[(((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8))]
("Anne" "is" "young" "+")
((((triple1) -> (rule6 % int3)) ((triple1 ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is not young.
False
7
inv-proof
[(((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8))]
("Anne" "is" "young" "-")
((((triple1) -> (rule6 % int3)) ((triple1 ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is big.
True
9
proof
[(((triple1 ((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8)) -> rule1))]
("Anne" "is" "big" "+")
((triple1 ((((triple1) -> (rule6 % int4)) ((triple1 ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is not big.
False
9
inv-proof
[(((triple1 ((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8)) -> rule1))]
("Anne" "is" "big" "-")
((triple1 ((((triple1) -> (rule6 % int4)) ((triple1 ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is kind.
True
10
proof
[(((((triple1 ((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8)) -> rule1)) -> rule7))]
("Anne" "is" "kind" "+")
((((triple1 ((((triple1) -> (rule6 % int5)) ((triple1 ((triple1) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Anne is not kind.
False
10
inv-proof
[(((((triple1 ((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8)) -> rule1)) -> rule7))]
("Anne" "is" "kind" "-")
((((triple1 ((((triple1) -> (rule6 % int5)) ((triple1 ((triple1) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Anne is round.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is young.[(triple4 OR ((triple2 triple3) -> rule8))] Dave is big.[(triple5 OR ((triple8 ((triple7 ((triple8 triple7) -> rule2)) -> rule8)) -> rule1) OR ((triple8 ((((triple8) -> rule6) ((triple8 triple7) -> rule2)) -> rule8)) -> rule1) OR ((triple8 ((triple7 ((triple8 ((triple8) -> rule6)) -> rule2)) -> rule8)) -> rule1) OR ((triple8 ((((triple8) -> rule6) ((triple8 ((triple8) -> rule6)) -> rule2)) -> rule8)) -> rule1))] Dave is cold.[(triple6)] Dave is green.[(triple7 OR ((triple8) -> rule6))] Dave is round.[(triple8)] Harry is big.[(triple9 OR ((triple11 ((triple10 ((triple11 triple10) -> rule2)) -> rule8)) -> rule1) OR ((triple11 ((((triple11) -> rule6) ((triple11 triple10) -> rule2)) -> rule8)) -> rule1) OR ((triple11 ((triple10 ((triple11 ((triple11) -> rule6)) -> rule2)) -> rule8)) -> rule1) OR ((triple11 ((((triple11) -> rule6) ((triple11 ((triple11) -> rule6)) -> rule2)) -> rule8)) -> rule1))] Harry is green.[(triple10 OR ((triple11) -> rule6))] Harry is round.[(triple11)] @1: Anne is green.[(((triple1) -> rule6))] Dave is nice.[(((triple8 triple7) -> rule2) OR ((triple8 ((triple8) -> rule6)) -> rule2))] Harry is nice.[(((triple11 triple10) -> rule2) OR ((triple11 ((triple11) -> rule6)) -> rule2))] @2: Anne is nice.[(((triple1 ((triple1) -> rule6)) -> rule2))] Dave is young.[(((triple7 ((triple8 triple7) -> rule2)) -> rule8) OR ((((triple8) -> rule6) ((triple8 triple7) -> rule2)) -> rule8) OR ((triple7 ((triple8 ((triple8) -> rule6)) -> rule2)) -> rule8) OR ((((triple8) -> rule6) ((triple8 ((triple8) -> rule6)) -> rule2)) -> rule8))] Harry is young.[(((triple10 ((triple11 triple10) -> rule2)) -> rule8) OR ((((triple11) -> rule6) ((triple11 triple10) -> rule2)) -> rule8) OR ((triple10 ((triple11 ((triple11) -> rule6)) -> rule2)) -> rule8) OR ((((triple11) -> rule6) ((triple11 ((triple11) -> rule6)) -> rule2)) -> rule8))] @3: Anne is young.[(((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8))] @4: Anne is big.[(((triple1 ((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8)) -> rule1))] @5: Anne is kind.[(((((triple1 ((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8)) -> rule1)) -> rule7))] @6: Anne is cold.[(((((((triple1 ((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8)) -> rule1)) -> rule7) ((triple1 ((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8)) -> rule1)) -> rule5))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
((triple2 triple3) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
triple5
((triple8 ((triple7 ((triple8 triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((triple8 ((((triple8) -> (rule6 % int4)) ((triple8 triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple8 ((triple7 ((triple8 ((triple8) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((triple8 ((((triple8) -> (rule6 % int4)) ((triple8 ((triple8) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
((triple8) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
((triple11 ((triple10 ((triple11 triple10) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple11 ((((triple11) -> (rule6 % int4)) ((triple11 triple10) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple11 ((triple10 ((triple11 ((triple11) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple11 ((((triple11) -> (rule6 % int4)) ((triple11 ((triple11) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
triple10
((triple11) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple11
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple8 triple7) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple8 ((triple8) -> (rule6 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((triple11 triple10) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple11 ((triple11) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple7 ((triple8 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple8) -> (rule6 % int3)) ((triple8 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple7 ((triple8 ((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple8) -> (rule6 % int3)) ((triple8 ((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((triple10 ((triple11 triple10) -> (rule2 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple11) -> (rule6 % int3)) ((triple11 triple10) -> (rule2 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((triple10 ((triple11 ((triple11) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple11) -> (rule6 % int3)) ((triple11 ((triple11) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
((((triple1) -> (rule6 % int3)) ((triple1 ((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
((triple1 ((((triple1) -> (rule6 % int4)) ((triple1 ((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
((((triple1 ((((triple1) -> (rule6 % int5)) ((triple1 ((triple1) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
((((((triple1 ((((triple1) -> (rule6 % int6)) ((triple1 ((triple1) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) ((triple1 ((((triple1) -> (rule6 % int6)) ((triple1 ((triple1) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6