Charlie wears all blue. Dave is nice and kind. He is green with envy which makes him feel blue. This Eric guy is red. He is also kind and yet cold. A red colored person who is kind and feels cold is usually considered nice. When a kind person is feeling cold with red skin, they will be round as well. A person that has a round big body shape and has a bit of a rough personality will have a green skin tone. People with blue and red skin color are also green. A kind and nice person who is looking green is often red. A cold, red person with a kind disposition will certainly be big. A green and red colored person who has a nice temperament will be cold.
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
If someone is red and kind and cold then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and kind and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is round and rough and big then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and nice and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is red and cold and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is green and nice and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Dave is blue.
True
1
proof
[(triple5)]
("Dave" "is" "blue" "+")
triple5
Dave is not blue.
False
1
inv-proof
[(triple5)]
("Dave" "is" "blue" "-")
triple5
Eric is big.
True
4
proof
[(((triple6 triple8 triple7) -> rule6))]
("Eric" "is" "big" "+")
((triple6 triple8 triple7) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
4
inv-proof
[(((triple6 triple8 triple7) -> rule6))]
("Eric" "is" "big" "-")
((triple6 triple8 triple7) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Dave is cold.
True
7
proof
[(((triple4 triple2 ((triple3 triple2 triple4) -> rule5)) -> rule7))]
("Dave" "is" "cold" "+")
((triple4 triple2 ((triple3 triple2 triple4) -> (rule5 % int2))) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not cold.
False
7
inv-proof
[(((triple4 triple2 ((triple3 triple2 triple4) -> rule5)) -> rule7))]
("Dave" "is" "cold" "-")
((triple4 triple2 ((triple3 triple2 triple4) -> (rule5 % int2))) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
True
13
proof
[(((((triple3 triple2 triple4) -> rule5) ((triple4 triple2 ((triple3 triple2 triple4) -> rule5)) -> rule7) triple3) -> rule6))]
("Dave" "is" "big" "+")
((((triple3 triple2 triple4) -> (rule5 % int3)) ((triple4 triple2 ((triple3 triple2 triple4) -> (rule5 % int3))) -> (rule7 % int2)) triple3) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not round.
False
13
inv-proof
[(((((triple4 triple2 ((triple3 triple2 triple4) -> rule5)) -> rule7) triple3 ((triple3 triple2 triple4) -> rule5)) -> rule2))]
("Dave" "is" "round" "-")
((((triple4 triple2 ((triple3 triple2 triple4) -> (rule5 % int3))) -> (rule7 % int2)) triple3 ((triple3 triple2 triple4) -> (rule5 % int3))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "green" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is blue.[(triple1)] Dave is blue.[(triple5)] Dave is green.[(triple4)] Dave is kind.[(triple3)] Dave is nice.[(triple2)] Eric is cold.[(triple8)] Eric is kind.[(triple7)] Eric is red.[(triple6)] @1: Dave is red.[(((triple3 triple2 triple4) -> rule5))] Eric is big.[(((triple6 triple8 triple7) -> rule6))] Eric is nice.[(((triple6 triple7 triple8) -> rule1))] Eric is round.[(((triple8 triple7 triple6) -> rule2))] @2: Dave is cold.[(((triple4 triple2 ((triple3 triple2 triple4) -> rule5)) -> rule7))] @3: Dave is big.[(((((triple3 triple2 triple4) -> rule5) ((triple4 triple2 ((triple3 triple2 triple4) -> rule5)) -> rule7) triple3) -> rule6))] Dave is round.[(((((triple4 triple2 ((triple3 triple2 triple4) -> rule5)) -> rule7) triple3 ((triple3 triple2 triple4) -> rule5)) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
((triple3 triple2 triple4) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple6 triple8 triple7) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple6 triple7 triple8) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple8 triple7 triple6) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple4 triple2 ((triple3 triple2 triple4) -> (rule5 % int2))) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((((triple3 triple2 triple4) -> (rule5 % int3)) ((triple4 triple2 ((triple3 triple2 triple4) -> (rule5 % int3))) -> (rule7 % int2)) triple3) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
((((triple4 triple2 ((triple3 triple2 triple4) -> (rule5 % int3))) -> (rule7 % int2)) triple3 ((triple3 triple2 triple4) -> (rule5 % int3))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Charlie wears all blue.
Dave is nice and kind; He is green with envy which makes him feel blue.
This Eric guy is red; He is also kind and yet cold.
A red colored person who is kind and feels cold is usually considered nice.
When a kind person is feeling cold with red skin, they will be round as well.
A person that has a round big body shape and has a bit of a rough personality will have a green skin tone.
People with blue and red skin color are also green.
A kind and nice person who is looking green is often red.
A cold, red person with a kind disposition will certainly be big.
A green and red colored person who has a nice temperament will be cold.