Having a round body that is very big makes Alan a kind hearted person that often feels green. When you meet Eric you'll the two characteristics that will standout is that he's red but also rough. Gary was looking rather round and feeling rather cold, but people thought he is kind. Harry is big and dresses in blue. Young people with red skin who are a bit downhearted and blue are kind. A nice and blue person who's also red will be a rough person. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. Some kind person that is round a blue will get embarrassed and turn red. Kind people, for example, like the ones at the bank are always blue.
Alan is round.
("Alan" "is" "round" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is young and blue and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and blue and kind then they are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Harry is big.
True
1
proof
[(triple11)]
("Harry" "is" "big" "+")
triple11
Harry is not big.
False
1
inv-proof
[(triple11)]
("Harry" "is" "big" "-")
triple11
Alan is blue.
True
2
proof
[(((triple2) -> rule5))]
("Alan" "is" "blue" "+")
((triple2) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is not blue.
False
2
inv-proof
[(((triple2) -> rule5))]
("Alan" "is" "blue" "-")
((triple2) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Gary is red.
True
5
proof
[(((triple7 ((triple8) -> rule5) triple8) -> rule4))]
("Gary" "is" "red" "+")
((triple7 ((triple8) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not red.
False
5
inv-proof
[(((triple7 ((triple8) -> rule5) triple8) -> rule4))]
("Gary" "is" "red" "-")
((triple7 ((triple8) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Alan is rough.
True
11
proof
[(((((triple2) -> rule5) ((triple3 triple4) -> rule3) ((triple1 ((triple2) -> rule5) triple2) -> rule4)) -> rule2))]
("Alan" "is" "rough" "+")
((((triple2) -> (rule5 % int4)) ((triple3 triple4) -> (rule3 % int3)) ((triple1 ((triple2) -> (rule5 % int4)) triple2) -> (rule4 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Alan is not rough.
False
11
inv-proof
[(((((triple2) -> rule5) ((triple3 triple4) -> rule3) ((triple1 ((triple2) -> rule5) triple2) -> rule4)) -> rule2))]
("Alan" "is" "rough" "-")
((((triple2) -> (rule5 % int4)) ((triple3 triple4) -> (rule3 % int3)) ((triple1 ((triple2) -> (rule5 % int4)) triple2) -> (rule4 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "+")
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "kind" "-")
Harry is rough.
Unknown
rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Harry" "is" "rough" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is round.[(triple1)] Eric is red.[(triple6)] Eric is rough.[(triple5)] Gary is cold.[(triple9)] Gary is kind.[(triple8)] Gary is round.[(triple7)] Harry is big.[(triple11)] Harry is blue.[(triple10)] @1: Alan is blue.[(((triple2) -> rule5))] Alan is nice.[(((triple3 triple4) -> rule3))] Gary is blue.[(((triple8) -> rule5))] @2: Alan is red.[(((triple1 ((triple2) -> rule5) triple2) -> rule4))] Gary is red.[(((triple7 ((triple8) -> rule5) triple8) -> rule4))] @3: Alan is rough.[(((((triple2) -> rule5) ((triple3 triple4) -> rule3) ((triple1 ((triple2) -> rule5) triple2) -> rule4)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is rough.
("Eric" "is" "rough" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Alan is blue.
("Alan" "is" "blue" "+")
((triple2) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((triple3 triple4) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple8) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple1 ((triple2) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple7 ((triple8) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((((triple2) -> (rule5 % int4)) ((triple3 triple4) -> (rule3 % int3)) ((triple1 ((triple2) -> (rule5 % int4)) triple2) -> (rule4 % int2))) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
int4
Having a round body that is very big makes Alan a kind hearted person that often feels green.
When you meet Eric you'll the two characteristics that will standout is that he's red but also rough.
Gary was looking rather round and feeling rather cold, but people thought he is kind.
Harry is big and dresses in blue.
Young people with red skin who are a bit downhearted and blue are kind.
A nice and blue person who's also red will be a rough person.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
Some kind person that is round a blue will get embarrassed and turn red.
Kind people, for example, like the ones at the bank are always blue.