Charlie ate some rotten meat and now feels green. Dave, is a rather young, rough, and round person who is considered kind.  Today however he is red from a sunburn and looks green after seeing some rather rotten trash. Eric wears all blue. Harry is big and green, which is good, because he is also cold and blue. A kind, round person will surely be red as well. People who can be kind when they are cold are fundamentally nice. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. Kind people who are blue with sadness and cold toward others are surprisingly red. It's just a fact that a blue person is a kind person.
Charlie is green.
("Charlie" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and big and kind then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and kind and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Dave is young.
True
1
proof
[(triple2)]
("Dave" "is" "young" "+")
triple2
Harry is not cold.
False
1
inv-proof
[(triple10)]
("Harry" "is" "cold" "-")
triple10
Harry is kind.
True
2
proof
[(((triple11) -> rule5))]
("Harry" "is" "kind" "+")
((triple11) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Eric is not kind.
False
2
inv-proof
[(((triple8) -> rule5))]
("Eric" "is" "kind" "-")
((triple8) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Harry is red.
True
5
proof
[(((triple10 ((triple11) -> rule5) triple11) -> rule4))]
("Harry" "is" "red" "+")
((triple10 ((triple11) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not red.
False
5
inv-proof
[(((triple10 ((triple11) -> rule5) triple11) -> rule4))]
("Harry" "is" "red" "-")
((triple10 ((triple11) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
True
8
proof
[(((((((triple11) -> rule5) triple10) -> rule2) triple12 ((triple11) -> rule5)) -> rule3))]
("Harry" "is" "young" "+")
((((((triple11) -> (rule5 % int3)) triple10) -> (rule2 % int2)) triple12 ((triple11) -> (rule5 % int3))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not young.
False
8
inv-proof
[(((((((triple11) -> rule5) triple10) -> rule2) triple12 ((triple11) -> rule5)) -> rule3))]
("Harry" "is" "young" "-")
((((((triple11) -> (rule5 % int3)) triple10) -> (rule2 % int2)) triple12 ((triple11) -> (rule5 % int3))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "red" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "kind" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is green.[(triple1)] Dave is green.[(triple7)] Dave is kind.[(triple6)] Dave is red.[(triple5 OR ((triple6 triple3) -> rule1))] Dave is rough.[(triple4)] Dave is round.[(triple3)] Dave is young.[(triple2)] Eric is blue.[(triple8)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] Harry is green.[(triple9)] @1: Eric is kind.[(((triple8) -> rule5))] Harry is kind.[(((triple11) -> rule5))] @2: Harry is nice.[(((((triple11) -> rule5) triple10) -> rule2))] Harry is red.[(((triple10 ((triple11) -> rule5) triple11) -> rule4))] @3: Harry is young.[(((((((triple11) -> rule5) triple10) -> rule2) triple12 ((triple11) -> rule5)) -> rule3))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
((triple6 triple3) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
((triple8) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple11) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((((triple11) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple10 ((triple11) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((((triple11) -> (rule5 % int3)) triple10) -> (rule2 % int2)) triple12 ((triple11) -> (rule5 % int3))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Charlie ate some rotten meat and now feels green.
Dave, is a rather young, rough, and round person who is considered kind; Today however he is red from a sunburn and looks green after seeing some rather rotten trash.
Eric wears all blue.
Harry is big and green, which is good, because he is also cold and blue.
A kind, round person will surely be red as well.
People who can be kind when they are cold are fundamentally nice.
Somebody whose descriptors are nice, big and kind will also fit a young descriptor.
Kind people who are blue with sadness and cold toward others are surprisingly red.
It's just a fact that a blue person is a kind person.