Eric has a round,red,rough looking face with kind eyes. That guy Fred is big, but he's always kind to little ones. Red Gary is what folks call him, because he is quite red. I've noticed that kind people are also big. Green, nice people who have round shapes are going to be kind to you. A kind person who is big in size is definitely young. People who are big and kind and feel down and blue tend to have rough skin. A young, nice person will turn out to be a green person also. If you meet a young and kind person who is also rough, they are cold, too.
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is green and round and nice then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and big and blue then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice then they are green.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Eric is rough.
True
1
proof
[(triple2)]
("Eric" "is" "rough" "+")
triple2
Eric is not red.
False
1
inv-proof
[(triple3)]
("Eric" "is" "red" "-")
triple3
Fred is young.
True
3
proof
[(((triple5 triple6) -> rule3) OR ((triple5 ((triple5) -> rule1)) -> rule3))]
("Fred" "is" "young" "+")
((triple5 triple6) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
((triple5 ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is not young.
False
3
inv-proof
[(((triple5 triple6) -> rule3) OR ((triple5 ((triple5) -> rule1)) -> rule3))]
("Fred" "is" "young" "-")
((triple5 triple6) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
((triple5 ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Eric is young.
True
4
proof
[(((triple4 ((triple4) -> rule1)) -> rule3))]
("Eric" "is" "young" "+")
((triple4 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not young.
False
4
inv-proof
[(((triple4 ((triple4) -> rule1)) -> rule3))]
("Eric" "is" "young" "-")
((triple4 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
True
7
proof
[(((triple2 ((triple4 ((triple4) -> rule1)) -> rule3) triple4) -> rule6))]
("Eric" "is" "cold" "+")
((triple2 ((triple4 ((triple4) -> (rule1 % int3))) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not cold.
False
7
inv-proof
[(((triple2 ((triple4 ((triple4) -> rule1)) -> rule3) triple4) -> rule6))]
("Eric" "is" "cold" "-")
((triple2 ((triple4 ((triple4) -> (rule1 % int3))) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "kind" "+")
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is big.
Unknown
rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Eric is kind.[(triple4)] Eric is red.[(triple3)] Eric is rough.[(triple2)] Eric is round.[(triple1)] Fred is big.[(triple6 OR ((triple5) -> rule1))] Fred is kind.[(triple5)] Gary is red.[(triple7)] @1: Eric is big.[(((triple4) -> rule1))] Fred is young.[(((triple5 triple6) -> rule3) OR ((triple5 ((triple5) -> rule1)) -> rule3))] @2: Eric is young.[(((triple4 ((triple4) -> rule1)) -> rule3))] @3: Eric is cold.[(((triple2 ((triple4 ((triple4) -> rule1)) -> rule3) triple4) -> rule6))]
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple2
Eric is round.
("Eric" "is" "round" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
((triple5) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple7
Eric is big.
("Eric" "is" "big" "+")
((triple4) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple5 triple6) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
((triple5 ((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((triple4 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((triple2 ((triple4 ((triple4) -> (rule1 % int3))) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric has a round,red,rough looking face with kind eyes.
That guy Fred is big, but he's always kind to little ones.
Red Gary is what folks call him, because he is quite red.
I've noticed that kind people are also big.
Green, nice people who have round shapes are going to be kind to you.
A kind person who is big in size is definitely young.
People who are big and kind and feel down and blue tend to have rough skin.
A young, nice person will turn out to be a green person also.
If you meet a young and kind person who is also rough, they are cold, too.