Dave is a rough but very kind and blue person. Eric was born only a few years ago so he is young. Others enjoy Gary's company because he is so nice and kind. Harry is blue and cold. A downhearted blue person who is kind is round. Despite being kind cold people with red ears will still be big. People,though rough and red,tend to be cold too. A human being described as rough, nice and round will also fit the description of being cold. If someone is feeling blue and round in shape they are usually nice. If you meet somebody who is green, big and red you'll notice they are also blue.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is kind and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and red and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and round and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and big and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Harry is cold.
True
1
proof
[(triple7)]
("Harry" "is" "cold" "+")
triple7
Dave is not kind.
False
1
inv-proof
[(triple2)]
("Dave" "is" "kind" "-")
triple2
Dave is round.
True
3
proof
[(((triple2 triple3) -> rule1))]
("Dave" "is" "round" "+")
((triple2 triple3) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("Dave" "is" "round" "-")
((triple2 triple3) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
True
5
proof
[(((triple3 ((triple2 triple3) -> rule1)) -> rule5))]
("Dave" "is" "nice" "+")
((triple3 ((triple2 triple3) -> (rule1 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not nice.
False
5
inv-proof
[(((triple3 ((triple2 triple3) -> rule1)) -> rule5))]
("Dave" "is" "nice" "-")
((triple3 ((triple2 triple3) -> (rule1 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
True
10
proof
[(((triple1 ((triple2 triple3) -> rule1) ((triple3 ((triple2 triple3) -> rule1)) -> rule5)) -> rule4))]
("Dave" "is" "cold" "+")
((triple1 ((triple2 triple3) -> (rule1 % int3)) ((triple3 ((triple2 triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not cold.
False
10
inv-proof
[(((triple1 ((triple2 triple3) -> rule1) ((triple3 ((triple2 triple3) -> rule1)) -> rule5)) -> rule4))]
("Dave" "is" "cold" "-")
((triple1 ((triple2 triple3) -> (rule1 % int3)) ((triple3 ((triple2 triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Gary is big.
Unknown
rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "blue" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "big" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Dave is blue.[(triple3)] Dave is kind.[(triple2)] Dave is rough.[(triple1)] Eric is young.[(triple4)] Gary is kind.[(triple6)] Gary is nice.[(triple5)] Harry is blue.[(triple8)] Harry is cold.[(triple7)] @1: Dave is round.[(((triple2 triple3) -> rule1))] @2: Dave is nice.[(((triple3 ((triple2 triple3) -> rule1)) -> rule5))] @3: Dave is cold.[(((triple1 ((triple2 triple3) -> rule1) ((triple3 ((triple2 triple3) -> rule1)) -> rule5)) -> rule4))]
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Eric is young.
("Eric" "is" "young" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
((triple2 triple3) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple3 ((triple2 triple3) -> (rule1 % int2))) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple1 ((triple2 triple3) -> (rule1 % int3)) ((triple3 ((triple2 triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is a rough but very kind and blue person.
Eric was born only a few years ago so he is young.
Others enjoy Gary's company because he is so nice and kind.
Harry is blue and cold.
A downhearted blue person who is kind is round.
Despite being kind cold people with red ears will still be big.
People,though rough and red,tend to be cold too.
A human being described as rough, nice and round will also fit the description of being cold.
If someone is feeling blue and round in shape they are usually nice.
If you meet somebody who is green, big and red you'll notice they are also blue.