Alan is too young to be so big. Some say he is too green to be so blue as well. Eric looks red to most people, with blue features. Gary was looking rather round and feeling rather cold, but people thought he is kind. Harry is round shaped and green colored. Rough people are often always nice. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it. A person that is feeling blue and slightly big, is red as well. If you ever find someone who's nice, rough, and blue, expect them to also be green. It's just a fact that a blue person is a kind person. Young people that are also red and green, may be fairly rough, also.
Alan is young.
("Alan" "is" "young" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and nice then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and rough and blue then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and green and young then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Gary is cold.
True
1
proof
[(triple9)]
("Gary" "is" "cold" "+")
triple9
Gary is not round.
False
1
inv-proof
[(triple7)]
("Gary" "is" "round" "-")
triple7
Alan is red.
True
3
proof
[(((triple4 triple3) -> rule3))]
("Alan" "is" "red" "+")
((triple4 triple3) -> (rule3 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is not kind.
False
2
inv-proof
[(((triple3) -> rule5))]
("Alan" "is" "kind" "-")
((triple3) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
True
6
proof
[(((((triple4 triple3) -> rule3) triple2 triple1) -> rule6))]
("Alan" "is" "rough" "+")
((((triple4 triple3) -> (rule3 % int2)) triple2 triple1) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is not rough.
False
6
inv-proof
[(((((triple4 triple3) -> rule3) triple2 triple1) -> rule6))]
("Alan" "is" "rough" "-")
((((triple4 triple3) -> (rule3 % int2)) triple2 triple1) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is nice.
True
7
proof
[(((((((triple4 triple3) -> rule3) triple2 triple1) -> rule6)) -> rule1))]
("Alan" "is" "nice" "+")
((((((triple4 triple3) -> (rule3 % int3)) triple2 triple1) -> (rule6 % int2))) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is not nice.
False
7
inv-proof
[(((((((triple4 triple3) -> rule3) triple2 triple1) -> rule6)) -> rule1))]
("Alan" "is" "nice" "-")
((((((triple4 triple3) -> (rule3 % int3)) triple2 triple1) -> (rule6 % int2))) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Eric is not green.
Unknown
inv-rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Eric" "is" "green" "-")
Eric is nice.
Unknown
rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Eric" "is" "nice" "+")
Gary is not nice.
Unknown
inv-rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is big.
Unknown
rconc
[@3: Gary is big.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule6 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is green.[(triple2)] Alan is young.[(triple1)] Eric is blue.[(triple6)] Eric is red.[(triple5)] Gary is cold.[(triple9)] Gary is kind.[(triple8)] Gary is round.[(triple7)] Harry is green.[(triple11)] Harry is round.[(triple10)] @1: Alan is kind.[(((triple3) -> rule5))] Alan is red.[(((triple4 triple3) -> rule3))] Eric is kind.[(((triple6) -> rule5))] @2: Alan is rough.[(((((triple4 triple3) -> rule3) triple2 triple1) -> rule6))] @3: Alan is nice.[(((((((triple4 triple3) -> rule3) triple2 triple1) -> rule6)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Alan is kind.
("Alan" "is" "kind" "+")
((triple3) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple4 triple3) -> (rule3 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple6) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((((triple4 triple3) -> (rule3 % int2)) triple2 triple1) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((((((triple4 triple3) -> (rule3 % int3)) triple2 triple1) -> (rule6 % int2))) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is too young to be so big; Some say he is too green to be so blue as well.
Eric looks red to most people, with blue features.
Gary was looking rather round and feeling rather cold, but people thought he is kind.
Harry is round shaped and green colored.
Rough people are often always nice.
People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.
A person that is feeling blue and slightly big, is red as well.
If you ever find someone who's nice, rough, and blue, expect them to also be green.
It's just a fact that a blue person is a kind person.
Young people that are also red and green, may be fairly rough, also.