My friend Charlie is very young. People say he is nice for having a round shape. Eric is cold and blue. He is round and has red rosy cheeks. He is green with envy of those who are happy. Fred ate some rotten meat and now feels green. Harry wears all blue. If someone is blue and rough, they always see red in others. All the big and young boys at the park are red. Most of the people that are big and nice with green eyes, will be round. Anyone you find who happens to be kind and blue will also be very nice. A big person who is kind and nice is usually red because their prone to blushing. It's just a fact that a blue person is a kind person. A blue individual that is kind and nice to others also has a rough appearance.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is blue and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is big and nice and green then they are round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice and big then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and blue and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Eric is round.
True
1
proof
[(triple4)]
("Eric" "is" "round" "+")
triple4
Fred is not green.
False
1
inv-proof
[(triple9)]
("Fred" "is" "green" "-")
triple9
Harry is kind.
True
2
proof
[(((triple10) -> rule6))]
("Harry" "is" "kind" "+")
((triple10) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
2
inv-proof
[(((triple10) -> rule6))]
("Harry" "is" "kind" "-")
((triple10) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Eric is nice.
True
4
proof
[(((((triple8) -> rule6) triple8) -> rule4))]
("Eric" "is" "nice" "+")
((((triple8) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not nice.
False
4
inv-proof
[(((((triple8) -> rule6) triple8) -> rule4))]
("Eric" "is" "nice" "-")
((((triple8) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is rough.
True
8
proof
[(((((triple8) -> rule6) triple8 ((((triple8) -> rule6) triple8) -> rule4)) -> rule7))]
("Eric" "is" "rough" "+")
((((triple8) -> (rule6 % int3)) triple8 ((((triple8) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is not rough.
False
8
inv-proof
[(((((triple8) -> rule6) triple8 ((((triple8) -> rule6) triple8) -> rule4)) -> rule7))]
("Eric" "is" "rough" "-")
((((triple8) -> (rule6 % int3)) triple8 ((((triple8) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Harry is red.
True
10
proof
[(((triple10 ((((triple10) -> rule6) triple10 ((((triple10) -> rule6) triple10) -> rule4)) -> rule7)) -> rule1))]
("Harry" "is" "red" "+")
((triple10 ((((triple10) -> (rule6 % int4)) triple10 ((((triple10) -> (rule6 % int4)) triple10) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is not red.
False
10
inv-proof
[(((triple10 ((((triple10) -> rule6) triple10 ((((triple10) -> rule6) triple10) -> rule4)) -> rule7)) -> rule1))]
("Harry" "is" "red" "-")
((triple10 ((((triple10) -> (rule6 % int4)) triple10 ((((triple10) -> (rule6 % int4)) triple10) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "rough" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "round" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "round" "+")
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "red" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
@0: Charlie is nice.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Eric is blue.[(triple8)] Eric is cold.[(triple7)] Eric is green.[(triple6)] Eric is red.[(triple5 OR ((triple8 ((((triple8) -> rule6) triple8 ((((triple8) -> rule6) triple8) -> rule4)) -> rule7)) -> rule1))] Eric is round.[(triple4)] Fred is green.[(triple9)] Harry is blue.[(triple10)] @1: Eric is kind.[(((triple8) -> rule6))] Harry is kind.[(((triple10) -> rule6))] @2: Eric is nice.[(((((triple8) -> rule6) triple8) -> rule4))] Harry is nice.[(((((triple10) -> rule6) triple10) -> rule4))] @3: Eric is rough.[(((((triple8) -> rule6) triple8 ((((triple8) -> rule6) triple8) -> rule4)) -> rule7))] Harry is rough.[(((((triple10) -> rule6) triple10 ((((triple10) -> rule6) triple10) -> rule4)) -> rule7))] @4: Harry is red.[(((triple10 ((((triple10) -> rule6) triple10 ((((triple10) -> rule6) triple10) -> rule4)) -> rule7)) -> rule1))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
((triple8 ((((triple8) -> (rule6 % int4)) triple8 ((((triple8) -> (rule6 % int4)) triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is kind.
("Eric" "is" "kind" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
triple4
Fred is green.
("Fred" "is" "green" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Eric is kind.
("Eric" "is" "kind" "+")
((triple8) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple10) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((((triple8) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((((triple10) -> (rule6 % int2)) triple10) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((((triple8) -> (rule6 % int3)) triple8 ((((triple8) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
((((triple10) -> (rule6 % int3)) triple10 ((((triple10) -> (rule6 % int3)) triple10) -> (rule4 % int2))) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
((triple10 ((((triple10) -> (rule6 % int4)) triple10 ((((triple10) -> (rule6 % int4)) triple10) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
My friend Charlie is very young; People say he is nice for having a round shape.
Eric is cold and blue; He is round and has red rosy cheeks; He is green with envy of those who are happy.
Fred ate some rotten meat and now feels green.
Harry wears all blue.
If someone is blue and rough, they always see red in others.
All the big and young boys at the park are red.
Most of the people that are big and nice with green eyes, will be round.
Anyone you find who happens to be kind and blue will also be very nice.
A big person who is kind and nice is usually red because their prone to blushing.
It's just a fact that a blue person is a kind person.
A blue individual that is kind and nice to others also has a rough appearance.