Eric is a cold young man. He is prone the being blue with sadness because he is green with envy. If you met Fred you will see that he is round and red, but he is cold. Gary is young, he is also red and green. People who are green and blue tend to be round in shape. When someone is nice and rough they are usually red. People who are round, blue and cold are usually nice. When someone is young they can be nice and kind, but green in society. A green, round, blue male or female will be a big male or female, too. When someone is kind and their cheeks flame red with embarrassment I know that they are young. Big people that tend to be nice and blue, may also be a little rough to others.
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is green and blue then they are round.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is round and blue and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and nice and young then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is green and round and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and red then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is big and nice and blue then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Gary is young.
True
1
proof
[(triple8)]
("Gary" "is" "young" "+")
triple8
Eric is not green.
False
1
inv-proof
[(triple2)]
("Eric" "is" "green" "-")
triple2
Eric is round.
True
3
proof
[(((triple2 triple4) -> rule1))]
("Eric" "is" "round" "+")
((triple2 triple4) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not round.
False
3
inv-proof
[(((triple2 triple4) -> rule1))]
("Eric" "is" "round" "-")
((triple2 triple4) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
True
6
proof
[(((triple2 ((triple2 triple4) -> rule1) triple4) -> rule5))]
("Eric" "is" "big" "+")
((triple2 ((triple2 triple4) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is not nice.
False
6
inv-proof
[(((((triple2 triple4) -> rule1) triple4 triple3) -> rule3))]
("Eric" "is" "nice" "-")
((((triple2 triple4) -> (rule1 % int2)) triple4 triple3) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is rough.
True
14
proof
[(((((triple2 ((triple2 triple4) -> rule1) triple4) -> rule5) ((((triple2 triple4) -> rule1) triple4 triple3) -> rule3) triple4) -> rule7))]
("Eric" "is" "rough" "+")
((((triple2 ((triple2 triple4) -> (rule1 % int4)) triple4) -> (rule5 % int3)) ((((triple2 triple4) -> (rule1 % int4)) triple4 triple3) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is not rough.
False
14
inv-proof
[(((((triple2 ((triple2 triple4) -> rule1) triple4) -> rule5) ((((triple2 triple4) -> rule1) triple4 triple3) -> rule3) triple4) -> rule7))]
("Eric" "is" "rough" "-")
((((triple2 ((triple2 triple4) -> (rule1 % int4)) triple4) -> (rule5 % int3)) ((((triple2 triple4) -> (rule1 % int4)) triple4 triple3) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is red.
True
21
proof
[(((((((triple2 triple4) -> rule1) triple4 triple3) -> rule3) ((((triple2 ((triple2 triple4) -> rule1) triple4) -> rule5) ((((triple2 triple4) -> rule1) triple4 triple3) -> rule3) triple4) -> rule7)) -> rule2))]
("Eric" "is" "red" "+")
((((((triple2 triple4) -> (rule1 % int5)) triple4 triple3) -> (rule3 % int4)) ((((triple2 ((triple2 triple4) -> (rule1 % int5)) triple4) -> (rule5 % int3)) ((((triple2 triple4) -> (rule1 % int5)) triple4 triple3) -> (rule3 % int4)) triple4) -> (rule7 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
int5
Eric is not red.
False
21
inv-proof
[(((((((triple2 triple4) -> rule1) triple4 triple3) -> rule3) ((((triple2 ((triple2 triple4) -> rule1) triple4) -> rule5) ((((triple2 triple4) -> rule1) triple4 triple3) -> rule3) triple4) -> rule7)) -> rule2))]
("Eric" "is" "red" "-")
((((((triple2 triple4) -> (rule1 % int5)) triple4 triple3) -> (rule3 % int4)) ((((triple2 ((triple2 triple4) -> (rule1 % int5)) triple4) -> (rule5 % int3)) ((((triple2 triple4) -> (rule1 % int5)) triple4 triple3) -> (rule3 % int4)) triple4) -> (rule7 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
int5
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "round" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "green" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "nice" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Eric is blue.[(triple4)] Eric is cold.[(triple3)] Eric is green.[(triple2)] Eric is young.[(triple1)] Fred is cold.[(triple7)] Fred is red.[(triple6)] Fred is round.[(triple5)] Gary is green.[(triple10)] Gary is red.[(triple9)] Gary is young.[(triple8)] @1: Eric is round.[(((triple2 triple4) -> rule1))] @2: Eric is big.[(((triple2 ((triple2 triple4) -> rule1) triple4) -> rule5))] Eric is nice.[(((((triple2 triple4) -> rule1) triple4 triple3) -> rule3))] @3: Eric is rough.[(((((triple2 ((triple2 triple4) -> rule1) triple4) -> rule5) ((((triple2 triple4) -> rule1) triple4 triple3) -> rule3) triple4) -> rule7))] @4: Eric is red.[(((((((triple2 triple4) -> rule1) triple4 triple3) -> rule3) ((((triple2 ((triple2 triple4) -> rule1) triple4) -> rule5) ((((triple2 triple4) -> rule1) triple4 triple3) -> rule3) triple4) -> rule7)) -> rule2))]
Eric is blue.
("Eric" "is" "blue" "+")
triple4
Eric is cold.
("Eric" "is" "cold" "+")
triple3
Eric is green.
("Eric" "is" "green" "+")
triple2
Eric is young.
("Eric" "is" "young" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
((triple2 triple4) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple2 ((triple2 triple4) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
((((triple2 triple4) -> (rule1 % int2)) triple4 triple3) -> (rule3 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((((triple2 ((triple2 triple4) -> (rule1 % int4)) triple4) -> (rule5 % int3)) ((((triple2 triple4) -> (rule1 % int4)) triple4 triple3) -> (rule3 % int2)) triple4) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is red.
("Eric" "is" "red" "+")
((((((triple2 triple4) -> (rule1 % int5)) triple4 triple3) -> (rule3 % int4)) ((((triple2 ((triple2 triple4) -> (rule1 % int5)) triple4) -> (rule5 % int3)) ((((triple2 triple4) -> (rule1 % int5)) triple4 triple3) -> (rule3 % int4)) triple4) -> (rule7 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
int5
Eric is a cold young man; He is prone the being blue with sadness because he is green with envy.
If you met Fred you will see that he is round and red, but he is cold.
Gary is young, he is also red and green.
People who are green and blue tend to be round in shape.
When someone is nice and rough they are usually red.
People who are round, blue and cold are usually nice.
When someone is young they can be nice and kind, but green in society.
A green, round, blue male or female will be a big male or female, too.
When someone is kind and their cheeks flame red with embarrassment I know that they are young.
Big people that tend to be nice and blue, may also be a little rough to others.