Even though Eric feels blue because of how round he is, he is still nice and kind to people that talk to him. Fred is a round young man which makes him green and rough around the edges but he is nice though today he seems rather blue. Gary is big and tends to wear red shirts. A red colored and round person who is also young will be rather kind. A kind person that is also red and rough is usually also nice. A nice and blue person who's also red will be a rough person. A very nice and kind person will also be round shaped. When you meet kind people they wont have a cold heart. A cold natured but kind person will certainly be red.
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and round and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and red and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and kind then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Fred is green.
True
1
proof
[(triple9)]
("Fred" "is" "green" "+")
triple9
Eric is not round.
False
1
inv-proof
[(triple1 OR ((triple2 triple3) -> rule4))]
("Eric" "is" "round" "-")
triple1
((triple2 triple3) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
True
2
proof
[(((triple3) -> rule5))]
("Eric" "is" "cold" "+")
((triple3) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is not cold.
False
2
inv-proof
[(((triple3) -> rule5))]
("Eric" "is" "cold" "-")
((triple3) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
True
4
proof
[(((((triple3) -> rule5) triple3) -> rule6))]
("Eric" "is" "red" "+")
((((triple3) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is not red.
False
4
inv-proof
[(((((triple3) -> rule5) triple3) -> rule6))]
("Eric" "is" "red" "-")
((((triple3) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is rough.
True
7
proof
[(((triple4 triple2 ((((triple3) -> rule5) triple3) -> rule6)) -> rule3))]
("Eric" "is" "rough" "+")
((triple4 triple2 ((((triple3) -> (rule5 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not rough.
False
7
inv-proof
[(((triple4 triple2 ((((triple3) -> rule5) triple3) -> rule6)) -> rule3))]
("Eric" "is" "rough" "-")
((triple4 triple2 ((((triple3) -> (rule5 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Fred is not red.
Unknown
inv-rconc
[@2: Fred is red.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Fred" "is" "red" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not nice.
Unknown
inv-rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
@0: Eric is blue.[(triple4)] Eric is kind.[(triple3)] Eric is nice.[(triple2)] Eric is round.[(triple1 OR ((triple2 triple3) -> rule4))] Fred is blue.[(triple10)] Fred is green.[(triple9)] Fred is nice.[(triple8)] Fred is rough.[(triple7)] Fred is round.[(triple6)] Fred is young.[(triple5)] Gary is big.[(triple12)] Gary is red.[(triple11)] @1: Eric is cold.[(((triple3) -> rule5))] @2: Eric is red.[(((((triple3) -> rule5) triple3) -> rule6))] @3: Eric is rough.[(((triple4 triple2 ((((triple3) -> rule5) triple3) -> rule6)) -> rule3))]
Eric is blue.
("Eric" "is" "blue" "+")
triple4
Eric is kind.
("Eric" "is" "kind" "+")
triple3
Eric is nice.
("Eric" "is" "nice" "+")
triple2
Eric is round.
("Eric" "is" "round" "+")
triple1
((triple2 triple3) -> (rule4 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple11
Eric is cold.
("Eric" "is" "cold" "+")
((triple3) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((((triple3) -> (rule5 % int2)) triple3) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((triple4 triple2 ((((triple3) -> (rule5 % int3)) triple3) -> (rule6 % int2))) -> (rule3 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Even though Eric feels blue because of how round he is, he is still nice and kind to people that talk to him.
Fred is a round young man which makes him green and rough around the edges but he is nice though today he seems rather blue.
Gary is big and tends to wear red shirts.
A red colored and round person who is also young will be rather kind.
A kind person that is also red and rough is usually also nice.
A nice and blue person who's also red will be a rough person.
A very nice and kind person will also be round shaped.
When you meet kind people they wont have a cold heart.
A cold natured but kind person will certainly be red.