The big, round, blue guy is Dave. He's kind but rather rough. Others enjoy Fred's company because he is so nice and kind. Gary is big and rough. Others enjoy Harry's company because he is so nice and kind. Young people who wear red lipstick are certainly kind. Cold and rough people will also surely be round shaped. People who are rough around the edges, nice, and a bit blue are young. All the big and young boys at the park are red. Because of circulation issues big people are often cold. If they are also green then they are certainly young. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and nice and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is big and young then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and green and big then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Harry is kind.
True
1
proof
[(triple11)]
("Harry" "is" "kind" "+")
triple11
Dave is not kind.
False
1
inv-proof
[(triple3 OR ((((triple5 ((triple2 ((triple4 triple2 triple5) -> rule6) triple4) -> rule3)) -> rule4) ((triple2 ((triple4 triple2 triple5) -> rule6) triple4) -> rule3)) -> rule1))]
("Dave" "is" "kind" "-")
triple3
((((triple5 ((triple2 ((triple4 triple2 triple5) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule4 % int2)) ((triple2 ((triple4 triple2 triple5) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is nice.
True
4
proof
[(((triple4 triple2 triple5) -> rule6))]
("Dave" "is" "nice" "+")
((triple4 triple2 triple5) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
4
inv-proof
[(((triple4 triple2 triple5) -> rule6))]
("Dave" "is" "nice" "-")
((triple4 triple2 triple5) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
True
7
proof
[(((triple2 ((triple4 triple2 triple5) -> rule6) triple4) -> rule3))]
("Dave" "is" "young" "+")
((triple2 ((triple4 triple2 triple5) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not young.
False
7
inv-proof
[(((triple2 ((triple4 triple2 triple5) -> rule6) triple4) -> rule3))]
("Dave" "is" "young" "-")
((triple2 ((triple4 triple2 triple5) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
True
9
proof
[(((triple5 ((triple2 ((triple4 triple2 triple5) -> rule6) triple4) -> rule3)) -> rule4))]
("Dave" "is" "red" "+")
((triple5 ((triple2 ((triple4 triple2 triple5) -> (rule6 % int3)) triple4) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not red.
False
9
inv-proof
[(((triple5 ((triple2 ((triple4 triple2 triple5) -> rule6) triple4) -> rule3)) -> rule4))]
("Dave" "is" "red" "-")
((triple5 ((triple2 ((triple4 triple2 triple5) -> (rule6 % int3)) triple4) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "round" "+")
Gary is not round.
Unknown
inv-rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Dave is big.[(triple5)] Dave is blue.[(triple4)] Dave is kind.[(triple3 OR ((((triple5 ((triple2 ((triple4 triple2 triple5) -> rule6) triple4) -> rule3)) -> rule4) ((triple2 ((triple4 triple2 triple5) -> rule6) triple4) -> rule3)) -> rule1))] Dave is rough.[(triple2)] Dave is round.[(triple1)] Fred is kind.[(triple7)] Fred is nice.[(triple6)] Gary is big.[(triple9)] Gary is rough.[(triple8)] Harry is kind.[(triple11)] Harry is nice.[(triple10)] @1: Dave is nice.[(((triple4 triple2 triple5) -> rule6))] @2: Dave is young.[(((triple2 ((triple4 triple2 triple5) -> rule6) triple4) -> rule3))] @3: Dave is red.[(((triple5 ((triple2 ((triple4 triple2 triple5) -> rule6) triple4) -> rule3)) -> rule4))]
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
((((triple5 ((triple2 ((triple4 triple2 triple5) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule4 % int2)) ((triple2 ((triple4 triple2 triple5) -> (rule6 % int4)) triple4) -> (rule3 % int3))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Dave is nice.
("Dave" "is" "nice" "+")
((triple4 triple2 triple5) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple2 ((triple4 triple2 triple5) -> (rule6 % int2)) triple4) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple5 ((triple2 ((triple4 triple2 triple5) -> (rule6 % int3)) triple4) -> (rule3 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
The big, round, blue guy is Dave; He's kind but rather rough.
Others enjoy Fred's company because he is so nice and kind.
Gary is big and rough.
Others enjoy Harry's company because he is so nice and kind.
Young people who wear red lipstick are certainly kind.
Cold and rough people will also surely be round shaped.
People who are rough around the edges, nice, and a bit blue are young.
All the big and young boys at the park are red.
Because of circulation issues big people are often cold; If they are also green then they are certainly young.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.