Red Bob is what folks call him, because he is quite red. Eric grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Young Gary got into a fight that left him with red sores on his face. Harry who is considered nice was feeling rather rough today. People who are nice, round and wearing blue will have red cheeks. A rather round and green person will be red. When you meet kind people they wont have a cold heart. You can see that cold, blue people are round in shape. It's just a fact that a blue person is a kind person.
Bob is red.
("Bob" "is" "red" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is nice and round and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is round and green then they are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Harry is rough.
True
1
proof
[(triple6)]
("Harry" "is" "rough" "+")
triple6
Harry is not nice.
False
1
inv-proof
[(triple7)]
("Harry" "is" "nice" "-")
triple7
Eric is kind.
True
2
proof
[(((triple3) -> rule5))]
("Eric" "is" "kind" "+")
((triple3) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is not kind.
False
2
inv-proof
[(((triple3) -> rule5))]
("Eric" "is" "kind" "-")
((triple3) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is cold.
True
3
proof
[(((((triple3) -> rule5)) -> rule3))]
("Eric" "is" "cold" "+")
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is not cold.
False
3
inv-proof
[(((((triple3) -> rule5)) -> rule3))]
("Eric" "is" "cold" "-")
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
True
5
proof
[(((((((triple3) -> rule5)) -> rule3) triple3) -> rule4))]
("Eric" "is" "round" "+")
((((((triple3) -> (rule5 % int3))) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Eric is not round.
False
5
inv-proof
[(((((((triple3) -> rule5)) -> rule3) triple3) -> rule4))]
("Eric" "is" "round" "-")
((((((triple3) -> (rule5 % int3))) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "kind" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "red" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "kind" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is red.[(triple1)] Eric is blue.[(triple3)] Eric is rough.[(triple2)] Gary is red.[(triple5)] Gary is young.[(triple4)] Harry is nice.[(triple7)] Harry is rough.[(triple6)] @1: Eric is kind.[(((triple3) -> rule5))] @2: Eric is cold.[(((((triple3) -> rule5)) -> rule3))] @3: Eric is round.[(((((((triple3) -> rule5)) -> rule3) triple3) -> rule4))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple3
Eric is rough.
("Eric" "is" "rough" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple4
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
((triple3) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((((((triple3) -> (rule5 % int3))) -> (rule3 % int2)) triple3) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
int3
Red Bob is what folks call him, because he is quite red.
Eric grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Young Gary got into a fight that left him with red sores on his face.
Harry who is considered nice was feeling rather rough today.
People who are nice, round and wearing blue will have red cheeks.
A rather round and green person will be red.
When you meet kind people they wont have a cold heart.
You can see that cold, blue people are round in shape.
It's just a fact that a blue person is a kind person.