Dave gets red when he is mad and tends to act very cold. Eric is a young and nice man, and he is also very big shaped. People think Fred is nice and kind for someone so young.  Fred wears his favorite color green all the time. Red Harry is what folks call him, because he is quite red. Young and nice people have great big smiles. When a person can be described as blue, rough and round, you can call them nice at the same time. Nice green people and often blue with sadness. When someone feels cold, while being big and rough, they always turn out to be red. A blue and green colored person will be round in shape. A big and round shaped, blue person will be cold for sure.
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is round and blue and rough then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and big and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is round and blue and big then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Eric is young.
True
1
proof
[(triple3)]
("Eric" "is" "young" "+")
triple3
Fred is not green.
False
1
inv-proof
[(triple9)]
("Fred" "is" "green" "-")
triple9
Fred is big.
True
3
proof
[(((triple6 triple7) -> rule1))]
("Fred" "is" "big" "+")
((triple6 triple7) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is not big.
False
3
inv-proof
[(((triple6 triple7) -> rule1))]
("Fred" "is" "big" "-")
((triple6 triple7) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
True
5
proof
[(((((triple9 triple7) -> rule3) triple9) -> rule5))]
("Fred" "is" "round" "+")
((((triple9 triple7) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not round.
False
5
inv-proof
[(((((triple9 triple7) -> rule3) triple9) -> rule5))]
("Fred" "is" "round" "-")
((((triple9 triple7) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is cold.
True
12
proof
[(((((((triple9 triple7) -> rule3) triple9) -> rule5) ((triple9 triple7) -> rule3) ((triple6 triple7) -> rule1)) -> rule6))]
("Fred" "is" "cold" "+")
((((((triple9 triple7) -> (rule3 % int4)) triple9) -> (rule5 % int3)) ((triple9 triple7) -> (rule3 % int4)) ((triple6 triple7) -> (rule1 % int2))) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is not cold.
False
12
inv-proof
[(((((((triple9 triple7) -> rule3) triple9) -> rule5) ((triple9 triple7) -> rule3) ((triple6 triple7) -> rule1)) -> rule6))]
("Fred" "is" "cold" "-")
((((((triple9 triple7) -> (rule3 % int4)) triple9) -> (rule5 % int3)) ((triple9 triple7) -> (rule3 % int4)) ((triple6 triple7) -> (rule1 % int2))) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "red" "-")
Eric is cold.
Unknown
rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Eric" "is" "cold" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "blue" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "blue" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
@0: Dave is cold.[(triple2)] Dave is red.[(triple1)] Eric is big.[(triple5 OR ((triple3 triple4) -> rule1))] Eric is nice.[(triple4)] Eric is young.[(triple3)] Fred is green.[(triple9)] Fred is kind.[(triple8)] Fred is nice.[(triple7)] Fred is young.[(triple6)] Harry is red.[(triple10)] @1: Fred is big.[(((triple6 triple7) -> rule1))] Fred is blue.[(((triple9 triple7) -> rule3))] @2: Fred is round.[(((((triple9 triple7) -> rule3) triple9) -> rule5))] @3: Fred is cold.[(((((((triple9 triple7) -> rule3) triple9) -> rule5) ((triple9 triple7) -> rule3) ((triple6 triple7) -> rule1)) -> rule6))]
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
((triple3 triple4) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple10
Fred is big.
("Fred" "is" "big" "+")
((triple6 triple7) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple9 triple7) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((((triple9 triple7) -> (rule3 % int2)) triple9) -> (rule5 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((((triple9 triple7) -> (rule3 % int4)) triple9) -> (rule5 % int3)) ((triple9 triple7) -> (rule3 % int4)) ((triple6 triple7) -> (rule1 % int2))) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Dave gets red when he is mad and tends to act very cold.
Eric is a young and nice man, and he is also very big shaped.
People think Fred is nice and kind for someone so young; Fred wears his favorite color green all the time.
Red Harry is what folks call him, because he is quite red.
Young and nice people have great big smiles.
When a person can be described as blue, rough and round, you can call them nice at the same time.
Nice green people and often blue with sadness.
When someone feels cold, while being big and rough, they always turn out to be red.
A blue and green colored person will be round in shape.
A big and round shaped, blue person will be cold for sure.