Even though he's a big dude, Alan is cold. Although Charlie is seen as nice and round, his days of playing football have made him quite rough. Even though he's a big dude, Eric is cold. My young friend Harry is quite big has rough skin with a green tinge.  He is feeling blue because his dog ran away. A young and cold person is red. People with blue and red skin color are also green. Young people with red, flushed cheeks who are rough around the edges are really quite nice. If you color the young ones blue then they will be kind. Big kind people are usually cold.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is cold and young then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is red and young and rough then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Alan is big.
True
1
proof
[(triple2)]
("Alan" "is" "big" "+")
triple2
Harry is not green.
False
1
inv-proof
[(triple10 OR ((triple11 ((((((triple11 triple8) -> rule4) triple12) -> rule5) triple8) -> rule1)) -> rule2))]
("Harry" "is" "green" "-")
triple10
((triple11 ((((((triple11 triple8) -> (rule4 % int4)) triple12) -> (rule5 % int3)) triple8) -> (rule1 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is kind.
True
3
proof
[(((triple11 triple8) -> rule4))]
("Harry" "is" "kind" "+")
((triple11 triple8) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
3
inv-proof
[(((triple11 triple8) -> rule4))]
("Harry" "is" "kind" "-")
((triple11 triple8) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
True
5
proof
[(((((triple11 triple8) -> rule4) triple12) -> rule5))]
("Harry" "is" "cold" "+")
((((triple11 triple8) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not cold.
False
5
inv-proof
[(((((triple11 triple8) -> rule4) triple12) -> rule5))]
("Harry" "is" "cold" "-")
((((triple11 triple8) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
True
7
proof
[(((((((triple11 triple8) -> rule4) triple12) -> rule5) triple8) -> rule1))]
("Harry" "is" "red" "+")
((((((triple11 triple8) -> (rule4 % int3)) triple12) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not red.
False
7
inv-proof
[(((((((triple11 triple8) -> rule4) triple12) -> rule5) triple8) -> rule1))]
("Harry" "is" "red" "-")
((((((triple11 triple8) -> (rule4 % int3)) triple12) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
True
10
proof
[(((((((((triple11 triple8) -> rule4) triple12) -> rule5) triple8) -> rule1) triple8 triple9) -> rule3))]
("Harry" "is" "nice" "+")
((((((((triple11 triple8) -> (rule4 % int4)) triple12) -> (rule5 % int3)) triple8) -> (rule1 % int2)) triple8 triple9) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is not nice.
False
10
inv-proof
[(((((((((triple11 triple8) -> rule4) triple12) -> rule5) triple8) -> rule1) triple8 triple9) -> rule3))]
("Harry" "is" "nice" "-")
((((((((triple11 triple8) -> (rule4 % int4)) triple12) -> (rule5 % int3)) triple8) -> (rule1 % int2)) triple8 triple9) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "green" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "nice" "+")
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "green" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "kind" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is big.[(triple2)] Alan is cold.[(triple1)] Charlie is nice.[(triple5)] Charlie is rough.[(triple4)] Charlie is round.[(triple3)] Eric is big.[(triple7)] Eric is cold.[(triple6)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is green.[(triple10 OR ((triple11 ((((((triple11 triple8) -> rule4) triple12) -> rule5) triple8) -> rule1)) -> rule2))] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Harry is kind.[(((triple11 triple8) -> rule4))] @2: Harry is cold.[(((((triple11 triple8) -> rule4) triple12) -> rule5))] @3: Harry is red.[(((((((triple11 triple8) -> rule4) triple12) -> rule5) triple8) -> rule1))] @4: Harry is nice.[(((((((((triple11 triple8) -> rule4) triple12) -> rule5) triple8) -> rule1) triple8 triple9) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
((triple11 ((((((triple11 triple8) -> (rule4 % int4)) triple12) -> (rule5 % int3)) triple8) -> (rule1 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
((triple11 triple8) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((((triple11 triple8) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((((((triple11 triple8) -> (rule4 % int3)) triple12) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((((((((triple11 triple8) -> (rule4 % int4)) triple12) -> (rule5 % int3)) triple8) -> (rule1 % int2)) triple8 triple9) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Even though he's a big dude, Alan is cold.
Although Charlie is seen as nice and round, his days of playing football have made him quite rough.
Even though he's a big dude, Eric is cold.
My young friend Harry is quite big has rough skin with a green tinge; He is feeling blue because his dog ran away.
A young and cold person is red.
People with blue and red skin color are also green.
Young people with red, flushed cheeks who are rough around the edges are really quite nice.
If you color the young ones blue then they will be kind.
Big kind people are usually cold.