Others enjoy Charlie's company because he is so nice and kind. Dave is so big, he is often blue, but always kind. Fred is a person both green and big. Harry is nice and kind. He is green with envy which makes him feel blue. Big, young people feel cold all the time. A nice green person that tends to be rough will indeed be round too. If a person that is kind is big and blue they have to be young. If a person is red and green, then they will present as big. Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy. A big, blue and cold person will also be a round person.
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and nice and rough then they are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and kind and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and red and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is big and cold and blue then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Charlie is nice.
True
1
proof
[(triple1)]
("Charlie" "is" "nice" "+")
triple1
Harry is not blue.
False
1
inv-proof
[(triple11)]
("Harry" "is" "blue" "-")
triple11
Dave is young.
True
4
proof
[(((triple4 triple3 triple5) -> rule3))]
("Dave" "is" "young" "+")
((triple4 triple3 triple5) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not young.
False
4
inv-proof
[(((triple4 triple3 triple5) -> rule3))]
("Dave" "is" "young" "-")
((triple4 triple3 triple5) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
True
6
proof
[(((((triple4 triple3 triple5) -> rule3) triple5) -> rule1))]
("Dave" "is" "cold" "+")
((((triple4 triple3 triple5) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not cold.
False
6
inv-proof
[(((((triple4 triple3 triple5) -> rule3) triple5) -> rule1))]
("Dave" "is" "cold" "-")
((((triple4 triple3 triple5) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
True
9
proof
[(((triple5 ((((triple4 triple3 triple5) -> rule3) triple5) -> rule1) triple4) -> rule6))]
("Dave" "is" "round" "+")
((triple5 ((((triple4 triple3 triple5) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is not round.
False
9
inv-proof
[(((triple5 ((((triple4 triple3 triple5) -> rule3) triple5) -> rule1) triple4) -> rule6))]
("Dave" "is" "round" "-")
((triple5 ((((triple4 triple3 triple5) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Fred is not cold.
Unknown
inv-rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Fred" "is" "cold" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "big" "+")
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "round" "-")
Harry is cold.
Unknown
rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
@0: Charlie is kind.[(triple2)] Charlie is nice.[(triple1)] Dave is big.[(triple5)] Dave is blue.[(triple4)] Dave is kind.[(triple3)] Fred is big.[(triple7)] Fred is green.[(triple6)] Harry is blue.[(triple11)] Harry is green.[(triple10)] Harry is kind.[(triple9)] Harry is nice.[(triple8)] @1: Dave is young.[(((triple4 triple3 triple5) -> rule3))] @2: Dave is cold.[(((((triple4 triple3 triple5) -> rule3) triple5) -> rule1))] @3: Dave is round.[(((triple5 ((((triple4 triple3 triple5) -> rule3) triple5) -> rule1) triple4) -> rule6))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
((triple4 triple3 triple5) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((((triple4 triple3 triple5) -> (rule3 % int2)) triple5) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple5 ((((triple4 triple3 triple5) -> (rule3 % int3)) triple5) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Others enjoy Charlie's company because he is so nice and kind.
Dave is so big, he is often blue, but always kind.
Fred is a person both green and big.
Harry is nice and kind; He is green with envy which makes him feel blue.
Big, young people feel cold all the time.
A nice green person that tends to be rough will indeed be round too.
If a person that is kind is big and blue they have to be young.
If a person is red and green, then they will present as big.
Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy.
A big, blue and cold person will also be a round person.