Charlie always goes out of his way to show that he is kind to people. Dave is very young red and kind, however he's green, nice and cold as well. Gary ate some rotten meat and now feels green. Harry is a kind and red colored guy. Round, blue, and green people are poften rough. Any green person is a round person. A person that has a round big body shape and has a bit of a rough personality will have a green skin tone. I've noticed that someone with a round shape is also green. It's just a fact that a blue person is a kind person. Someone who is cold and big is also a red person. Whenever someone is kind as well as round and cold, they will definitely be blue.
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is blue and green and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("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 round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and round and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Dave is red.
True
1
proof
[(triple3)]
("Dave" "is" "red" "+")
triple3
Harry is not red.
False
1
inv-proof
[(triple9)]
("Harry" "is" "red" "-")
triple9
Gary is round.
True
2
proof
[(((triple8) -> rule2))]
("Gary" "is" "round" "+")
((triple8) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple6) -> rule2))]
("Dave" "is" "round" "-")
((triple6) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
True
5
proof
[(((triple5 ((triple6) -> rule2) triple7) -> rule7))]
("Dave" "is" "blue" "+")
((triple5 ((triple6) -> (rule2 % int2)) triple7) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not blue.
False
5
inv-proof
[(((triple5 ((triple6) -> rule2) triple7) -> rule7))]
("Dave" "is" "blue" "-")
((triple5 ((triple6) -> (rule2 % int2)) triple7) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
True
9
proof
[(((((triple5 ((triple6) -> rule2) triple7) -> rule7) triple6 ((triple6) -> rule2)) -> rule1))]
("Dave" "is" "rough" "+")
((((triple5 ((triple6) -> (rule2 % int3)) triple7) -> (rule7 % int2)) triple6 ((triple6) -> (rule2 % int3))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not rough.
False
9
inv-proof
[(((((triple5 ((triple6) -> rule2) triple7) -> rule7) triple6 ((triple6) -> rule2)) -> rule1))]
("Dave" "is" "rough" "-")
((((triple5 ((triple6) -> (rule2 % int3)) triple7) -> (rule7 % int2)) triple6 ((triple6) -> (rule2 % int3))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@3: Charlie is green.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule3 <- FAIL)]]
("Charlie" "is" "green" "-")
Gary is kind.
Unknown
rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is rough.
Unknown
rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Gary" "is" "rough" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Charlie is kind.[(triple1)] Dave is cold.[(triple7)] Dave is green.[(triple6)] Dave is kind.[(triple5)] Dave is nice.[(triple4)] Dave is red.[(triple3)] Dave is young.[(triple2)] Gary is green.[(triple8)] Harry is kind.[(triple10)] Harry is red.[(triple9)] @1: Dave is round.[(((triple6) -> rule2))] Gary is round.[(((triple8) -> rule2))] @2: Dave is blue.[(((triple5 ((triple6) -> rule2) triple7) -> rule7))] @3: Dave is rough.[(((((triple5 ((triple6) -> rule2) triple7) -> rule7) triple6 ((triple6) -> rule2)) -> rule1))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
((triple6) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple8) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple5 ((triple6) -> (rule2 % int2)) triple7) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((((triple5 ((triple6) -> (rule2 % int3)) triple7) -> (rule7 % int2)) triple6 ((triple6) -> (rule2 % int3))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Charlie always goes out of his way to show that he is kind to people.
Dave is very young red and kind, however he's green, nice and cold as well.
Gary ate some rotten meat and now feels green.
Harry is a kind and red colored guy.
Round, blue, and green people are poften rough.
Any green person is a round person.
A person that has a round big body shape and has a bit of a rough personality will have a green skin tone.
I've noticed that someone with a round shape is also green.
It's just a fact that a blue person is a kind person.
Someone who is cold and big is also a red person.
Whenever someone is kind as well as round and cold, they will definitely be blue.