This Charlie guy is red. He is also kind and yet cold. Dave is young and kind.  But he plays really rough with his friends. Eric always goes out of his way to show that he is kind to people. Harry tends to be nice, but is young. Harry has rough blue skin. Maybe someone is rough and blue with the cold. A red colored person will be rough textured and will be blue. It's inevitable that young, green people are big. A person being big and rough makes them cold towards others but that also means that they are kind. If someone happens to be cold and rough, they wont be nice and live green lifestyle. A nice person with rough skin will be round, you can count on it.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and green then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and big and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and nice and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Eric is kind.
True
1
proof
[(triple7)]
("Eric" "is" "kind" "+")
triple7
Dave is not rough.
False
1
inv-proof
[(triple5)]
("Dave" "is" "rough" "-")
triple5
Harry is cold.
True
3
proof
[(((triple9 triple11) -> rule1))]
("Harry" "is" "cold" "+")
((triple9 triple11) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not round.
False
3
inv-proof
[(((triple9 triple10) -> rule6))]
("Harry" "is" "round" "-")
((triple9 triple10) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
True
6
proof
[(((((triple9 triple11) -> rule1) triple10 triple9) -> rule5))]
("Harry" "is" "green" "+")
((((triple9 triple11) -> (rule1 % int2)) triple10 triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not green.
False
6
inv-proof
[(((((triple9 triple11) -> rule1) triple10 triple9) -> rule5))]
("Harry" "is" "green" "-")
((((triple9 triple11) -> (rule1 % int2)) triple10 triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
True
8
proof
[(((triple8 ((((triple9 triple11) -> rule1) triple10 triple9) -> rule5)) -> rule3))]
("Harry" "is" "big" "+")
((triple8 ((((triple9 triple11) -> (rule1 % int3)) triple10 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is not big.
False
8
inv-proof
[(((triple8 ((((triple9 triple11) -> rule1) triple10 triple9) -> rule5)) -> rule3))]
("Harry" "is" "big" "-")
((triple8 ((((triple9 triple11) -> (rule1 % int3)) triple10 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
True
13
proof
[(((((triple9 triple11) -> rule1) ((triple8 ((((triple9 triple11) -> rule1) triple10 triple9) -> rule5)) -> rule3) triple9) -> rule4))]
("Harry" "is" "kind" "+")
((((triple9 triple11) -> (rule1 % int4)) ((triple8 ((((triple9 triple11) -> (rule1 % int4)) triple10 triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is not kind.
False
13
inv-proof
[(((((triple9 triple11) -> rule1) ((triple8 ((((triple9 triple11) -> rule1) triple10 triple9) -> rule5)) -> rule3) triple9) -> rule4))]
("Harry" "is" "kind" "-")
((((triple9 triple11) -> (rule1 % int4)) ((triple8 ((((triple9 triple11) -> (rule1 % int4)) triple10 triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "green" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "blue" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "round" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "round" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "green" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Charlie is cold.[(triple3)] Charlie is kind.[(triple2)] Charlie is red.[(triple1)] Dave is kind.[(triple6)] Dave is rough.[(triple5)] Dave is young.[(triple4)] Eric is kind.[(triple7)] Harry is blue.[(triple11)] Harry is nice.[(triple10)] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Harry is cold.[(((triple9 triple11) -> rule1))] Harry is round.[(((triple9 triple10) -> rule6))] @2: Harry is green.[(((((triple9 triple11) -> rule1) triple10 triple9) -> rule5))] @3: Harry is big.[(((triple8 ((((triple9 triple11) -> rule1) triple10 triple9) -> rule5)) -> rule3))] @4: Harry is kind.[(((((triple9 triple11) -> rule1) ((triple8 ((((triple9 triple11) -> rule1) triple10 triple9) -> rule5)) -> rule3) triple9) -> rule4))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
((triple9 triple11) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple9 triple10) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((((triple9 triple11) -> (rule1 % int2)) triple10 triple9) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple8 ((((triple9 triple11) -> (rule1 % int3)) triple10 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((((triple9 triple11) -> (rule1 % int4)) ((triple8 ((((triple9 triple11) -> (rule1 % int4)) triple10 triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
This Charlie guy is red; He is also kind and yet cold.
Dave is young and kind; But he plays really rough with his friends.
Eric always goes out of his way to show that he is kind to people.
Harry tends to be nice, but is young; Harry has rough blue skin.
Maybe someone is rough and blue with the cold.
A red colored person will be rough textured and will be blue.
It's inevitable that young, green people are big.
A person being big and rough makes them cold towards others but that also means that they are kind.
If someone happens to be cold and rough, they wont be nice and live green lifestyle.
A nice person with rough skin will be round, you can count on it.