Although Dave is seen as nice and round, his days of playing football have made him quite rough. Red Eric is what folks call him, because he is quite red. Fred is rough around the edges, but he's often blue and always nice. Being young, Harry is still green and blue. Anyone who manages to be round, blue, and green must be pretty big. I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion. Rough people are often round. If someone has a red face and feels blue and has a round body then you'll automatically think they are big. Young, kind people have a habit of being nice. John is round and rough, meaning that he is someone that is seen as green. When someone is big, young and rough, they can be cold.
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Eric is red.
("Eric" "is" "red" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and blue and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and nice and green then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is red and blue and round then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and rough then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and young and big then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Harry is green.
True
1
proof
[(triple9)]
("Harry" "is" "green" "+")
triple9
Harry is not young.
False
1
inv-proof
[(triple8)]
("Harry" "is" "young" "-")
triple8
Fred is round.
True
2
proof
[(((triple5) -> rule3))]
("Fred" "is" "round" "+")
((triple5) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is not round.
False
2
inv-proof
[(((triple5) -> rule3))]
("Fred" "is" "round" "-")
((triple5) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
True
4
proof
[(((((triple5) -> rule3) triple5) -> rule6))]
("Fred" "is" "green" "+")
((((triple5) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is not green.
False
4
inv-proof
[(((((triple5) -> rule3) triple5) -> rule6))]
("Fred" "is" "green" "-")
((((triple5) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
True
8
proof
[(((((triple5) -> rule3) triple7 ((((triple5) -> rule3) triple5) -> rule6)) -> rule1) OR ((((triple7 triple6 ((((triple5) -> rule3) triple5) -> rule6)) -> rule2) triple7 ((triple5) -> rule3)) -> rule4))]
("Fred" "is" "big" "+")
((((triple5) -> (rule3 % int3)) triple7 ((((triple5) -> (rule3 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
((((triple7 triple6 ((((triple5) -> (rule3 % int4)) triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple7 ((triple5) -> (rule3 % int4))) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Fred is not big.
False
8
inv-proof
[(((((triple5) -> rule3) triple7 ((((triple5) -> rule3) triple5) -> rule6)) -> rule1) OR ((((triple7 triple6 ((((triple5) -> rule3) triple5) -> rule6)) -> rule2) triple7 ((triple5) -> rule3)) -> rule4))]
("Fred" "is" "big" "-")
((((triple5) -> (rule3 % int3)) triple7 ((((triple5) -> (rule3 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
((((triple7 triple6 ((((triple5) -> (rule3 % int4)) triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple7 ((triple5) -> (rule3 % int4))) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "big" "-")
Harry is big.
Unknown
rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Harry" "is" "big" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "cold" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "cold" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Eric is kind.
Unknown
random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "+")
@0: Dave is nice.[(triple3)] Dave is rough.[(triple2)] Dave is round.[(triple1 OR ((triple2) -> rule3))] Eric is red.[(triple4)] Fred is blue.[(triple7)] Fred is nice.[(triple6)] Fred is rough.[(triple5)] Harry is blue.[(triple10)] Harry is green.[(triple9)] Harry is young.[(triple8)] @1: Dave is green.[(((triple1 triple2) -> rule6) OR ((((triple2) -> rule3) triple2) -> rule6))] Fred is round.[(((triple5) -> rule3))] @2: Fred is green.[(((((triple5) -> rule3) triple5) -> rule6))] @3: Fred is big.[(((((triple5) -> rule3) triple7 ((((triple5) -> rule3) triple5) -> rule6)) -> rule1) OR ((((triple7 triple6 ((((triple5) -> rule3) triple5) -> rule6)) -> rule2) triple7 ((triple5) -> rule3)) -> rule4))] Fred is red.[(((triple7 triple6 ((((triple5) -> rule3) triple5) -> rule6)) -> rule2))]
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
((triple2) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
((triple1 triple2) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple2) -> (rule3 % int2)) triple2) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((triple5) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((((triple5) -> (rule3 % int2)) triple5) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((triple5) -> (rule3 % int3)) triple7 ((((triple5) -> (rule3 % int3)) triple5) -> (rule6 % int2))) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
((((triple7 triple6 ((((triple5) -> (rule3 % int4)) triple5) -> (rule6 % int3))) -> (rule2 % int2)) triple7 ((triple5) -> (rule3 % int4))) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Fred is red.
("Fred" "is" "red" "+")
((triple7 triple6 ((((triple5) -> (rule3 % int3)) triple5) -> (rule6 % int2))) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Although Dave is seen as nice and round, his days of playing football have made him quite rough.
Red Eric is what folks call him, because he is quite red.
Fred is rough around the edges, but he's often blue and always nice.
Being young, Harry is still green and blue.
Anyone who manages to be round, blue, and green must be pretty big.
I've found that a person who is green from lack of experience and nice even when they are feeling blue often has a red complexion.
Rough people are often round.
If someone has a red face and feels blue and has a round body then you'll automatically think they are big.
Young, kind people have a habit of being nice.
John is round and rough, meaning that he is someone that is seen as green.
When someone is big, young and rough, they can be cold.