Alan is rough and cold, but he's young and will get over it. Charlie is blue from ink he spilled on himself while being kind and helping some children paint. Eric loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. My friend Harry is very young. People say he is nice for having a round shape. If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green. Rough people are often round. Any rather round person exposed to weather that leaves them red and cold will feel blue. Rough and green people are also nice. Big people are also round people. A round person will also be red. Big people that tend to be nice and blue, may also be a little rough to others.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is rough and round and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is round and red and cold then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and green then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is big and nice and blue then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Eric is cold.
True
1
proof
[(triple8)]
("Eric" "is" "cold" "+")
triple8
Alan is not cold.
False
1
inv-proof
[(triple3)]
("Alan" "is" "cold" "-")
triple3
Eric is red.
True
2
proof
[(((triple6) -> rule6) OR ((((triple7) -> rule2)) -> rule6))]
("Eric" "is" "red" "+")
((triple6) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is not red.
False
2
inv-proof
[(((triple6) -> rule6) OR ((((triple7) -> rule2)) -> rule6))]
("Eric" "is" "red" "-")
((triple6) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is blue.
True
5
proof
[(((triple6 ((triple6) -> rule6) triple8) -> rule3) OR ((((triple7) -> rule2) ((triple6) -> rule6) triple8) -> rule3) OR ((triple6 ((((triple7) -> rule2)) -> rule6) triple8) -> rule3) OR ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6) triple8) -> rule3))]
("Eric" "is" "blue" "+")
((triple6 ((triple6) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
((((triple7) -> (rule2 % int3)) ((triple6) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((triple6 ((((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Alan is not red.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule6))]
("Alan" "is" "red" "-")
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is blue.
True
7
proof
[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule6) triple3) -> rule3))]
("Alan" "is" "blue" "+")
((((triple2) -> (rule2 % int3)) ((((triple2) -> (rule2 % int3))) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not blue.
False
7
inv-proof
[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule6) triple3) -> rule3))]
("Alan" "is" "blue" "-")
((((triple2) -> (rule2 % int3)) ((((triple2) -> (rule2 % int3))) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Eric is not nice.
Unknown
inv-rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Eric" "is" "nice" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "-")
Alan is nice.
Unknown
rconc
[@2: Alan is nice.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Alan" "is" "nice" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
@0: Alan is cold.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple5)] Charlie is kind.[(triple4)] Eric is cold.[(triple8)] Eric is rough.[(triple7)] Eric is round.[(triple6 OR ((triple7) -> rule2))] Harry is nice.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Alan is round.[(((triple2) -> rule2))] Eric is red.[(((triple6) -> rule6) OR ((((triple7) -> rule2)) -> rule6))] Harry is red.[(((triple10) -> rule6))] @2: Alan is red.[(((((triple2) -> rule2)) -> rule6))] Eric is blue.[(((triple6 ((triple6) -> rule6) triple8) -> rule3) OR ((((triple7) -> rule2) ((triple6) -> rule6) triple8) -> rule3) OR ((triple6 ((((triple7) -> rule2)) -> rule6) triple8) -> rule3) OR ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6) triple8) -> rule3))] @3: Alan is blue.[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule6) triple3) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
((triple7) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Alan is round.
("Alan" "is" "round" "+")
((triple2) -> (rule2 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple6) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple10) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((triple6 ((triple6) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
((((triple7) -> (rule2 % int3)) ((triple6) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((triple6 ((((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Alan is blue.
("Alan" "is" "blue" "+")
((((triple2) -> (rule2 % int3)) ((((triple2) -> (rule2 % int3))) -> (rule6 % int2)) triple3) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is rough and cold, but he's young and will get over it.
Charlie is blue from ink he spilled on himself while being kind and helping some children paint.
Eric loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
My friend Harry is very young; People say he is nice for having a round shape.
If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green.
Rough people are often round.
Any rather round person exposed to weather that leaves them red and cold will feel blue.
Rough and green people are also nice.
Big people are also round people.
A round person will also be red.
Big people that tend to be nice and blue, may also be a little rough to others.