Dave is nice and kind. He is green with envy which makes him feel blue. Eric ate some rotten meat and now feels green. Fred always goes out of his way to show that he is kind to people. In the snow sits Gary, crying from being cold. People who are rough and green with envy are young. A round and blue individual will also be a cold individual. People who are kind and green are very often rough. A person who exhibits nice, kind and cold characteristics will also be a rough person. People who are rough and nice and blue can be round. Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold. A young person who is red a kind is also usually big.
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 green.
("Eric" "is" "green" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and nice and cold then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and nice and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is big and nice and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and young and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Dave is green.
True
1
proof
[(triple3)]
("Dave" "is" "green" "+")
triple3
Dave is not nice.
False
1
inv-proof
[(triple1)]
("Dave" "is" "nice" "-")
triple1
Dave is rough.
True
3
proof
[(((triple2 triple3) -> rule3))]
("Dave" "is" "rough" "+")
((triple2 triple3) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
3
inv-proof
[(((triple2 triple3) -> rule3))]
("Dave" "is" "rough" "-")
((triple2 triple3) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is young.
True
5
proof
[(((((triple2 triple3) -> rule3) triple3) -> rule1))]
("Dave" "is" "young" "+")
((((triple2 triple3) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not round.
False
6
inv-proof
[(((((triple2 triple3) -> rule3) triple1 triple4) -> rule5))]
("Dave" "is" "round" "-")
((((triple2 triple3) -> (rule3 % int2)) triple1 triple4) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
True
8
proof
[(((((((triple2 triple3) -> rule3) triple1 triple4) -> rule5) triple4) -> rule2))]
("Dave" "is" "cold" "+")
((((((triple2 triple3) -> (rule3 % int3)) triple1 triple4) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not cold.
False
8
inv-proof
[(((((((triple2 triple3) -> rule3) triple1 triple4) -> rule5) triple4) -> rule2))]
("Dave" "is" "cold" "-")
((((((triple2 triple3) -> (rule3 % int3)) triple1 triple4) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "cold" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "young" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "round" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Dave is blue.[(triple4)] Dave is green.[(triple3)] Dave is kind.[(triple2)] Dave is nice.[(triple1)] Eric is green.[(triple5)] Fred is kind.[(triple6)] Gary is cold.[(triple7)] @1: Dave is rough.[(((triple2 triple3) -> rule3))] @2: Dave is round.[(((((triple2 triple3) -> rule3) triple1 triple4) -> rule5))] Dave is young.[(((((triple2 triple3) -> rule3) triple3) -> rule1))] @3: Dave is cold.[(((((((triple2 triple3) -> rule3) triple1 triple4) -> rule5) triple4) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
((triple2 triple3) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((((triple2 triple3) -> (rule3 % int2)) triple1 triple4) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((triple2 triple3) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((((((triple2 triple3) -> (rule3 % int3)) triple1 triple4) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is nice and kind; He is green with envy which makes him feel blue.
Eric ate some rotten meat and now feels green.
Fred always goes out of his way to show that he is kind to people.
In the snow sits Gary, crying from being cold.
People who are rough and green with envy are young.
A round and blue individual will also be a cold individual.
People who are kind and green are very often rough.
A person who exhibits nice, kind and cold characteristics will also be a rough person.
People who are rough and nice and blue can be round.
Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.
A young person who is red a kind is also usually big.