Red Alan is what folks call him, because he is quite red. Eric is round, rough and big, but that's because he's also green at the job and cold working outside. Although Harry is young and nice, he is as cold as ice. Anyone that's rough and cold is also going to be blue. People who are kind and green are very often rough. If you meet someone who is big and kind with cold skin, they will be young. Round and somewhat big people manage to be kind to everyone. A young, big sized person will certainly be a kind one. A young blue person that is kind is known for being extra nice to others, too. A big, blue and cold person will also be a round person.
Alan is red.
("Alan" "is" "red" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and cold and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and big then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and big then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and blue and kind then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and cold and blue then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Eric is green.
True
1
proof
[(triple4)]
("Eric" "is" "green" "+")
triple4
Eric is not big.
False
1
inv-proof
[(triple6)]
("Eric" "is" "big" "-")
triple6
Eric is kind.
True
3
proof
[(((triple2 triple6) -> rule4) OR ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4))]
("Eric" "is" "kind" "+")
((triple2 triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
((((triple6 triple5 ((triple5 triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not kind.
False
3
inv-proof
[(((triple2 triple6) -> rule4) OR ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4))]
("Eric" "is" "kind" "-")
((triple2 triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
((((triple6 triple5 ((triple5 triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is young.
True
6
proof
[(((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) OR ((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3))]
("Eric" "is" "young" "+")
((((triple2 triple6) -> (rule4 % int2)) triple5 triple6) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
((((((triple6 triple5 ((triple5 triple3) -> (rule1 % int4))) -> (rule7 % int3)) triple6) -> (rule4 % int2)) triple5 triple6) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is not young.
False
6
inv-proof
[(((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) OR ((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3))]
("Eric" "is" "young" "-")
((((triple2 triple6) -> (rule4 % int2)) triple5 triple6) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
((((((triple6 triple5 ((triple5 triple3) -> (rule1 % int4))) -> (rule7 % int3)) triple6) -> (rule4 % int2)) triple5 triple6) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is nice.
True
13
proof
[(((((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 triple3) -> rule1) ((triple2 triple6) -> rule4)) -> rule6) OR ((((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 triple3) -> rule1) ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4)) -> rule6) OR ((((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1) ((triple2 triple6) -> rule4)) -> rule6) OR ((((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1) ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4)) -> rule6) OR ((((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 triple3) -> rule1) ((triple2 triple6) -> rule4)) -> rule6) OR ((((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 triple3) -> rule1) ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4)) -> rule6) OR ((((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1) ((triple2 triple6) -> rule4)) -> rule6) OR ((((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1) ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4)) -> rule6))]
("Eric" "is" "nice" "+")
((((((triple2 triple6) -> (rule4 % int4)) triple5 triple6) -> (rule3 % int3)) ((triple5 triple3) -> (rule1 % int2)) ((triple2 triple6) -> (rule4 % int4))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((((((triple2 triple6) -> (rule4 % int5)) triple5 triple6) -> (rule3 % int4)) ((triple5 triple3) -> (rule1 % int3)) ((((triple6 triple5 ((triple5 triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple6) -> (rule4 % int5))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Eric is kind.
("Eric" "is" "kind" "+")
int5
((((((triple2 triple6) -> (rule4 % int5)) triple5 triple6) -> (rule3 % int4)) ((triple5 ((((triple2 triple6) -> (rule4 % int5)) triple4) -> (rule2 % int3))) -> (rule1 % int2)) ((triple2 triple6) -> (rule4 % int5))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Eric is kind.
("Eric" "is" "kind" "+")
int5
((((((triple2 triple6) -> (rule4 % int6)) triple5 triple6) -> (rule3 % int5)) ((triple5 ((((triple2 triple6) -> (rule4 % int6)) triple4) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple6 triple5 ((triple5 triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple6) -> (rule4 % int6))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
Eric is young.
("Eric" "is" "young" "+")
int5
Eric is kind.
("Eric" "is" "kind" "+")
int6
((((((((triple6 triple5 ((triple5 triple3) -> (rule1 % int5))) -> (rule7 % int4)) triple6) -> (rule4 % int3)) triple5 triple6) -> (rule3 % int2)) ((triple5 triple3) -> (rule1 % int5)) ((triple2 triple6) -> (rule4 % int3))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is blue.
("Eric" "is" "blue" "+")
int5
((((((((triple6 triple5 ((triple5 triple3) -> (rule1 % int5))) -> (rule7 % int4)) triple6) -> (rule4 % int3)) triple5 triple6) -> (rule3 % int2)) ((triple5 triple3) -> (rule1 % int5)) ((((triple6 triple5 ((triple5 triple3) -> (rule1 % int5))) -> (rule7 % int4)) triple6) -> (rule4 % int3))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is blue.
("Eric" "is" "blue" "+")
int5
((((((((triple6 triple5 ((triple5 triple3) -> (rule1 % int6))) -> (rule7 % int5)) triple6) -> (rule4 % int4)) triple5 triple6) -> (rule3 % int3)) ((triple5 ((((triple2 triple6) -> (rule4 % int4)) triple4) -> (rule2 % int2))) -> (rule1 % int6)) ((triple2 triple6) -> (rule4 % int4))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
int5
Eric is blue.
("Eric" "is" "blue" "+")
int6
((((((((triple6 triple5 ((triple5 triple3) -> (rule1 % int6))) -> (rule7 % int5)) triple6) -> (rule4 % int4)) triple5 triple6) -> (rule3 % int3)) ((triple5 ((((triple2 triple6) -> (rule4 % int4)) triple4) -> (rule2 % int2))) -> (rule1 % int6)) ((((triple6 triple5 ((triple5 triple3) -> (rule1 % int6))) -> (rule7 % int5)) triple6) -> (rule4 % int4))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
int5
Eric is blue.
("Eric" "is" "blue" "+")
int6
Eric is not nice.
False
13
inv-proof
[(((((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 triple3) -> rule1) ((triple2 triple6) -> rule4)) -> rule6) OR ((((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 triple3) -> rule1) ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4)) -> rule6) OR ((((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1) ((triple2 triple6) -> rule4)) -> rule6) OR ((((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1) ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4)) -> rule6) OR ((((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 triple3) -> rule1) ((triple2 triple6) -> rule4)) -> rule6) OR ((((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 triple3) -> rule1) ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4)) -> rule6) OR ((((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1) ((triple2 triple6) -> rule4)) -> rule6) OR ((((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1) ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4)) -> rule6))]
("Eric" "is" "nice" "-")
((((((triple2 triple6) -> (rule4 % int4)) triple5 triple6) -> (rule3 % int3)) ((triple5 triple3) -> (rule1 % int2)) ((triple2 triple6) -> (rule4 % int4))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((((((triple2 triple6) -> (rule4 % int5)) triple5 triple6) -> (rule3 % int4)) ((triple5 triple3) -> (rule1 % int3)) ((((triple6 triple5 ((triple5 triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple6) -> (rule4 % int5))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Eric is kind.
("Eric" "is" "kind" "+")
int5
((((((triple2 triple6) -> (rule4 % int5)) triple5 triple6) -> (rule3 % int4)) ((triple5 ((((triple2 triple6) -> (rule4 % int5)) triple4) -> (rule2 % int3))) -> (rule1 % int2)) ((triple2 triple6) -> (rule4 % int5))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Eric is kind.
("Eric" "is" "kind" "+")
int5
((((((triple2 triple6) -> (rule4 % int6)) triple5 triple6) -> (rule3 % int5)) ((triple5 ((((triple2 triple6) -> (rule4 % int6)) triple4) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple6 triple5 ((triple5 triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple6) -> (rule4 % int6))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
Eric is young.
("Eric" "is" "young" "+")
int5
Eric is kind.
("Eric" "is" "kind" "+")
int6
((((((((triple6 triple5 ((triple5 triple3) -> (rule1 % int5))) -> (rule7 % int4)) triple6) -> (rule4 % int3)) triple5 triple6) -> (rule3 % int2)) ((triple5 triple3) -> (rule1 % int5)) ((triple2 triple6) -> (rule4 % int3))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is blue.
("Eric" "is" "blue" "+")
int5
((((((((triple6 triple5 ((triple5 triple3) -> (rule1 % int5))) -> (rule7 % int4)) triple6) -> (rule4 % int3)) triple5 triple6) -> (rule3 % int2)) ((triple5 triple3) -> (rule1 % int5)) ((((triple6 triple5 ((triple5 triple3) -> (rule1 % int5))) -> (rule7 % int4)) triple6) -> (rule4 % int3))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is blue.
("Eric" "is" "blue" "+")
int5
((((((((triple6 triple5 ((triple5 triple3) -> (rule1 % int6))) -> (rule7 % int5)) triple6) -> (rule4 % int4)) triple5 triple6) -> (rule3 % int3)) ((triple5 ((((triple2 triple6) -> (rule4 % int4)) triple4) -> (rule2 % int2))) -> (rule1 % int6)) ((triple2 triple6) -> (rule4 % int4))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
int5
Eric is blue.
("Eric" "is" "blue" "+")
int6
((((((((triple6 triple5 ((triple5 triple3) -> (rule1 % int6))) -> (rule7 % int5)) triple6) -> (rule4 % int4)) triple5 triple6) -> (rule3 % int3)) ((triple5 ((((triple2 triple6) -> (rule4 % int4)) triple4) -> (rule2 % int2))) -> (rule1 % int6)) ((((triple6 triple5 ((triple5 triple3) -> (rule1 % int6))) -> (rule7 % int5)) triple6) -> (rule4 % int4))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
int5
Eric is blue.
("Eric" "is" "blue" "+")
int6
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is blue.
Unknown
rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Harry" "is" "blue" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
@0: Alan is red.[(triple1)] Eric is big.[(triple6)] Eric is cold.[(triple5)] Eric is green.[(triple4)] Eric is rough.[(triple3 OR ((((triple2 triple6) -> rule4) triple4) -> rule2))] Eric is round.[(triple2 OR ((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7))] Harry is cold.[(triple9)] Harry is nice.[(triple8)] Harry is young.[(triple7)] @1: Eric is blue.[(((triple5 triple3) -> rule1) OR ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1))] Eric is kind.[(((triple2 triple6) -> rule4) OR ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4))] @2: Eric is young.[(((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) OR ((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3))] @3: Eric is nice.[(((((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 triple3) -> rule1) ((triple2 triple6) -> rule4)) -> rule6) OR ((((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 triple3) -> rule1) ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4)) -> rule6) OR ((((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1) ((triple2 triple6) -> rule4)) -> rule6) OR ((((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1) ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4)) -> rule6) OR ((((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 triple3) -> rule1) ((triple2 triple6) -> rule4)) -> rule6) OR ((((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 triple3) -> rule1) ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4)) -> rule6) OR ((((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1) ((triple2 triple6) -> rule4)) -> rule6) OR ((((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1) ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4)) -> rule6))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple3
((((triple2 triple6) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
triple2
((triple6 triple5 ((triple5 triple3) -> (rule1 % int2))) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
((triple5 triple3) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
((triple5 ((((triple2 triple6) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
((triple2 triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
((((triple6 triple5 ((triple5 triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
((((triple2 triple6) -> (rule4 % int2)) triple5 triple6) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
((((((triple6 triple5 ((triple5 triple3) -> (rule1 % int4))) -> (rule7 % int3)) triple6) -> (rule4 % int2)) triple5 triple6) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is blue.
("Eric" "is" "blue" "+")
int4
Eric is nice.
("Eric" "is" "nice" "+")
((((((triple2 triple6) -> (rule4 % int4)) triple5 triple6) -> (rule3 % int3)) ((triple5 triple3) -> (rule1 % int2)) ((triple2 triple6) -> (rule4 % int4))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
((((((triple2 triple6) -> (rule4 % int5)) triple5 triple6) -> (rule3 % int4)) ((triple5 triple3) -> (rule1 % int3)) ((((triple6 triple5 ((triple5 triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple6) -> (rule4 % int5))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Eric is kind.
("Eric" "is" "kind" "+")
int5
((((((triple2 triple6) -> (rule4 % int5)) triple5 triple6) -> (rule3 % int4)) ((triple5 ((((triple2 triple6) -> (rule4 % int5)) triple4) -> (rule2 % int3))) -> (rule1 % int2)) ((triple2 triple6) -> (rule4 % int5))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is young.
("Eric" "is" "young" "+")
int4
Eric is kind.
("Eric" "is" "kind" "+")
int5
((((((triple2 triple6) -> (rule4 % int6)) triple5 triple6) -> (rule3 % int5)) ((triple5 ((((triple2 triple6) -> (rule4 % int6)) triple4) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple6 triple5 ((triple5 triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple6) -> (rule4 % int6))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
Eric is young.
("Eric" "is" "young" "+")
int5
Eric is kind.
("Eric" "is" "kind" "+")
int6
((((((((triple6 triple5 ((triple5 triple3) -> (rule1 % int5))) -> (rule7 % int4)) triple6) -> (rule4 % int3)) triple5 triple6) -> (rule3 % int2)) ((triple5 triple3) -> (rule1 % int5)) ((triple2 triple6) -> (rule4 % int3))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is blue.
("Eric" "is" "blue" "+")
int5
((((((((triple6 triple5 ((triple5 triple3) -> (rule1 % int5))) -> (rule7 % int4)) triple6) -> (rule4 % int3)) triple5 triple6) -> (rule3 % int2)) ((triple5 triple3) -> (rule1 % int5)) ((((triple6 triple5 ((triple5 triple3) -> (rule1 % int5))) -> (rule7 % int4)) triple6) -> (rule4 % int3))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is blue.
("Eric" "is" "blue" "+")
int5
((((((((triple6 triple5 ((triple5 triple3) -> (rule1 % int6))) -> (rule7 % int5)) triple6) -> (rule4 % int4)) triple5 triple6) -> (rule3 % int3)) ((triple5 ((((triple2 triple6) -> (rule4 % int4)) triple4) -> (rule2 % int2))) -> (rule1 % int6)) ((triple2 triple6) -> (rule4 % int4))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
int5
Eric is blue.
("Eric" "is" "blue" "+")
int6
((((((((triple6 triple5 ((triple5 triple3) -> (rule1 % int6))) -> (rule7 % int5)) triple6) -> (rule4 % int4)) triple5 triple6) -> (rule3 % int3)) ((triple5 ((((triple2 triple6) -> (rule4 % int4)) triple4) -> (rule2 % int2))) -> (rule1 % int6)) ((((triple6 triple5 ((triple5 triple3) -> (rule1 % int6))) -> (rule7 % int5)) triple6) -> (rule4 % int4))) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
int5
Eric is blue.
("Eric" "is" "blue" "+")
int6
Red Alan is what folks call him, because he is quite red.
Eric is round, rough and big, but that's because he's also green at the job and cold working outside.
Although Harry is young and nice, he is as cold as ice.
Anyone that's rough and cold is also going to be blue.
People who are kind and green are very often rough.
If you meet someone who is big and kind with cold skin, they will be young.
Round and somewhat big people manage to be kind to everyone.
A young, big sized person will certainly be a kind one.
A young blue person that is kind is known for being extra nice to others, too.
A big, blue and cold person will also be a round person.