They always call him rough Alan. Fred grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Gary is man who is rough, red, nice, kind, and also green. In the snow sits Harry, crying from being cold. A red colored and round person who is also young will be rather kind. Often, when you meet a rough person with red skin, you'll see that they are young too. Most green and round people,though big are quite young. You will always find a cold, rough, red person to also be a round person. Being cold and blue made them rough to deal with. They found the ones that were round, blue, and green to be nice. If you meet a young and kind person who is also rough, they are cold, too.
Alan is rough.
("Alan" "is" "rough" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is red and round and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and red then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is green and round and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and rough and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and blue and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Gary is red.
True
1
proof
[(triple5)]
("Gary" "is" "red" "+")
triple5
Fred is not rough.
False
1
inv-proof
[(triple2)]
("Fred" "is" "rough" "-")
triple2
Gary is young.
True
3
proof
[(((triple4 triple5) -> rule2))]
("Gary" "is" "young" "+")
((triple4 triple5) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
3
inv-proof
[(((triple4 triple5) -> rule2))]
("Gary" "is" "young" "-")
((triple4 triple5) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
True
6
proof
[(((triple4 ((triple4 triple5) -> rule2) triple7) -> rule7))]
("Gary" "is" "cold" "+")
((triple4 ((triple4 triple5) -> (rule2 % int2)) triple7) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not cold.
False
6
inv-proof
[(((triple4 ((triple4 triple5) -> rule2) triple7) -> rule7))]
("Gary" "is" "cold" "-")
((triple4 ((triple4 triple5) -> (rule2 % int2)) triple7) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
True
9
proof
[(((((triple4 ((triple4 triple5) -> rule2) triple7) -> rule7) triple4 triple5) -> rule4))]
("Gary" "is" "round" "+")
((((triple4 ((triple4 triple5) -> (rule2 % int3)) triple7) -> (rule7 % int2)) triple4 triple5) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not round.
False
9
inv-proof
[(((((triple4 ((triple4 triple5) -> rule2) triple7) -> rule7) triple4 triple5) -> rule4))]
("Gary" "is" "round" "-")
((((triple4 ((triple4 triple5) -> (rule2 % int3)) triple7) -> (rule7 % int2)) triple4 triple5) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "kind" "-")
Fred is cold.
Unknown
rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Fred" "is" "cold" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "nice" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "nice" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Alan is rough.[(triple1)] Fred is blue.[(triple3)] Fred is rough.[(triple2)] Gary is green.[(triple8)] Gary is kind.[(triple7)] Gary is nice.[(triple6)] Gary is red.[(triple5)] Gary is rough.[(triple4)] Harry is cold.[(triple9)] @1: Gary is young.[(((triple4 triple5) -> rule2))] @2: Gary is cold.[(((triple4 ((triple4 triple5) -> rule2) triple7) -> rule7))] @3: Gary is round.[(((((triple4 ((triple4 triple5) -> rule2) triple7) -> rule7) triple4 triple5) -> rule4))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple3
Fred is rough.
("Fred" "is" "rough" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
((triple4 triple5) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple4 ((triple4 triple5) -> (rule2 % int2)) triple7) -> (rule7 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple4 ((triple4 triple5) -> (rule2 % int3)) triple7) -> (rule7 % int2)) triple4 triple5) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
They always call him rough Alan.
Fred grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Gary is man who is rough, red, nice, kind, and also green.
In the snow sits Harry, crying from being cold.
A red colored and round person who is also young will be rather kind.
Often, when you meet a rough person with red skin, you'll see that they are young too.
Most green and round people,though big are quite young.
You will always find a cold, rough, red person to also be a round person.
Being cold and blue made them rough to deal with.
They found the ones that were round, blue, and green to be nice.
If you meet a young and kind person who is also rough, they are cold, too.