Eric is a nice and red, but very kind person as soon as you meet him. Fred tends to be nice, but is young. Fred has rough blue skin. Gary is a nice round guy, which leads to him being red. Red Harry is what folks call him, because he is quite red. Someone who is both red and blue will also be a nice person. A downhearted blue person who is kind is round. It is true that kind people who have become cold and blue and survived are necessarily big. There are so many rough, young people and for some reason they are all big too. A young, big sized person will certainly be a kind one.
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and cold and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is young and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is young and big then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Harry is red.
True
1
proof
[(triple11)]
("Harry" "is" "red" "+")
triple11
Eric is not kind.
False
1
inv-proof
[(triple3)]
("Eric" "is" "kind" "-")
triple3
Fred is big.
True
3
proof
[(((triple4 triple5) -> rule4))]
("Fred" "is" "big" "+")
((triple4 triple5) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is not big.
False
3
inv-proof
[(((triple4 triple5) -> rule4))]
("Fred" "is" "big" "-")
((triple4 triple5) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
True
5
proof
[(((triple4 ((triple4 triple5) -> rule4)) -> rule5))]
("Fred" "is" "kind" "+")
((triple4 ((triple4 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is not kind.
False
5
inv-proof
[(((triple4 ((triple4 triple5) -> rule4)) -> rule5))]
("Fred" "is" "kind" "-")
((triple4 ((triple4 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is round.
True
7
proof
[(((((triple4 ((triple4 triple5) -> rule4)) -> rule5) triple7) -> rule2))]
("Fred" "is" "round" "+")
((((triple4 ((triple4 triple5) -> (rule4 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is not round.
False
7
inv-proof
[(((((triple4 ((triple4 triple5) -> rule4)) -> rule5) triple7) -> rule2))]
("Fred" "is" "round" "-")
((((triple4 ((triple4 triple5) -> (rule4 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Eric is kind.[(triple3)] Eric is nice.[(triple2)] Eric is red.[(triple1)] Fred is blue.[(triple7)] Fred is nice.[(triple6)] Fred is rough.[(triple5)] Fred is young.[(triple4)] Gary is nice.[(triple10)] Gary is red.[(triple9)] Gary is round.[(triple8)] Harry is red.[(triple11)] @1: Fred is big.[(((triple4 triple5) -> rule4))] @2: Fred is kind.[(((triple4 ((triple4 triple5) -> rule4)) -> rule5))] @3: Fred is round.[(((((triple4 ((triple4 triple5) -> rule4)) -> rule5) triple7) -> rule2))]
Eric is kind.
("Eric" "is" "kind" "+")
triple3
Eric is nice.
("Eric" "is" "nice" "+")
triple2
Eric is red.
("Eric" "is" "red" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple11
Fred is big.
("Fred" "is" "big" "+")
((triple4 triple5) -> (rule4 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple4 ((triple4 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((triple4 ((triple4 triple5) -> (rule4 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Eric is a nice and red, but very kind person as soon as you meet him.
Fred tends to be nice, but is young; Fred has rough blue skin.
Gary is a nice round guy, which leads to him being red.
Red Harry is what folks call him, because he is quite red.
Someone who is both red and blue will also be a nice person.
A downhearted blue person who is kind is round.
It is true that kind people who have become cold and blue and survived are necessarily big.
There are so many rough, young people and for some reason they are all big too.
A young, big sized person will certainly be a kind one.