When you meet Eric you'll the two characteristics that will standout is that he's red but also rough. Fred wears all blue. Gary is kind and has rough, round hands that are red. Gary is green with envy when he looks at people who don't have to work. I knew Harry was young, and rough, but he surprised me with how cold and blue he acted. Whoever is rough and red must be kind. Green and blue people have a habit of being cold, which makes them red too. Big people that are cold will show you how rough they actually are. Any person who is blue and round, if they are kind at the same time, will be young. A rough person that is cold towards others is green. A cold person, who is kind in nature and young in years, is round. A blue and round human being will also be a green human being.
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and blue and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and big then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and kind and young then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Gary is round.
True
1
proof
[(triple4)]
("Gary" "is" "round" "+")
triple4
Gary is not round.
False
1
inv-proof
[(triple4)]
("Gary" "is" "round" "-")
triple4
Harry is green.
True
3
proof
[(((triple10 triple11) -> rule5))]
("Harry" "is" "green" "+")
((triple10 triple11) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Eric is not kind.
False
3
inv-proof
[(((triple1 triple2) -> rule1))]
("Eric" "is" "kind" "-")
((triple1 triple2) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Harry is red.
True
6
proof
[(((((triple10 triple11) -> rule5) triple12 triple11) -> rule2))]
("Harry" "is" "red" "+")
((((triple10 triple11) -> (rule5 % int2)) triple12 triple11) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not red.
False
6
inv-proof
[(((((triple10 triple11) -> rule5) triple12 triple11) -> rule2))]
("Harry" "is" "red" "-")
((((triple10 triple11) -> (rule5 % int2)) triple12 triple11) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
True
8
proof
[(((triple10 ((((triple10 triple11) -> rule5) triple12 triple11) -> rule2)) -> rule1))]
("Harry" "is" "kind" "+")
((triple10 ((((triple10 triple11) -> (rule5 % int3)) triple12 triple11) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not kind.
False
8
inv-proof
[(((triple10 ((((triple10 triple11) -> rule5) triple12 triple11) -> rule2)) -> rule1))]
("Harry" "is" "kind" "-")
((triple10 ((((triple10 triple11) -> (rule5 % int3)) triple12 triple11) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
True
11
proof
[(((triple11 ((triple10 ((((triple10 triple11) -> rule5) triple12 triple11) -> rule2)) -> rule1) triple9) -> rule6))]
("Harry" "is" "round" "+")
((triple11 ((triple10 ((((triple10 triple11) -> (rule5 % int4)) triple12 triple11) -> (rule2 % int3))) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is not round.
False
11
inv-proof
[(((triple11 ((triple10 ((((triple10 triple11) -> rule5) triple12 triple11) -> rule2)) -> rule1) triple9) -> rule6))]
("Harry" "is" "round" "-")
((triple11 ((triple10 ((((triple10 triple11) -> (rule5 % int4)) triple12 triple11) -> (rule2 % int3))) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Fred is not kind.
Unknown
inv-rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Fred" "is" "kind" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "green" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "rough" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "red" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Eric is red.[(triple2)] Eric is rough.[(triple1)] Fred is blue.[(triple3)] Gary is green.[(triple8)] Gary is kind.[(triple7 OR ((triple5 triple6) -> rule1))] Gary is red.[(triple6)] Gary is rough.[(triple5)] Gary is round.[(triple4)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is rough.[(triple10)] Harry is young.[(triple9)] @1: Eric is kind.[(((triple1 triple2) -> rule1))] Harry is green.[(((triple10 triple11) -> rule5))] @2: Harry is red.[(((((triple10 triple11) -> rule5) triple12 triple11) -> rule2))] @3: Harry is kind.[(((triple10 ((((triple10 triple11) -> rule5) triple12 triple11) -> rule2)) -> rule1))] @4: Harry is round.[(((triple11 ((triple10 ((((triple10 triple11) -> rule5) triple12 triple11) -> rule2)) -> rule1) triple9) -> rule6))]
Eric is red.
("Eric" "is" "red" "+")
triple2
Eric is rough.
("Eric" "is" "rough" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
((triple5 triple6) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
((triple1 triple2) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple10 triple11) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((((triple10 triple11) -> (rule5 % int2)) triple12 triple11) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((triple10 ((((triple10 triple11) -> (rule5 % int3)) triple12 triple11) -> (rule2 % int2))) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
((triple11 ((triple10 ((((triple10 triple11) -> (rule5 % int4)) triple12 triple11) -> (rule2 % int3))) -> (rule1 % int2)) triple9) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
When you meet Eric you'll the two characteristics that will standout is that he's red but also rough.
Fred wears all blue.
Gary is kind and has rough, round hands that are red; Gary is green with envy when he looks at people who don't have to work.
I knew Harry was young, and rough, but he surprised me with how cold and blue he acted.
Whoever is rough and red must be kind.
Green and blue people have a habit of being cold, which makes them red too.
Big people that are cold will show you how rough they actually are.
Any person who is blue and round, if they are kind at the same time, will be young.
A rough person that is cold towards others is green.
A cold person, who is kind in nature and young in years, is round.
A blue and round human being will also be a green human being.