Even though big Bob can be rough and cold, he is nice for someone as red as he is. From a certain angle Charlie is blue but he is young so maybe that will go away. Dave gets red when he is mad and tends to act very cold. Eric is a nice and red, but very kind person as soon as you meet him. A nice person who is green is feeling cold. A good thing to remember is that rough and green people are round as well. People who are cold even when they're nice and round, they are young. Green eyed people are often nice, but when they are also round about the middle they are most certainly kind. A person with the qualities of being cold and being red will also be a person that is green. Being big and blue is standard for being green.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and green then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and round and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is green and nice and round then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is big and blue then they are green.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Eric is kind.
True
1
proof
[(triple12)]
("Eric" "is" "kind" "+")
triple12
Eric is not kind.
False
1
inv-proof
[(triple12)]
("Eric" "is" "kind" "-")
triple12
Dave is green.
True
3
proof
[(((triple9 triple8) -> rule5))]
("Dave" "is" "green" "+")
((triple9 triple8) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Bob is not green.
False
3
inv-proof
[(((triple4 triple2) -> rule5))]
("Bob" "is" "green" "-")
((triple4 triple2) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
True
5
proof
[(((triple1 ((triple4 triple2) -> rule5)) -> rule2))]
("Bob" "is" "round" "+")
((triple1 ((triple4 triple2) -> (rule5 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not round.
False
5
inv-proof
[(((triple1 ((triple4 triple2) -> rule5)) -> rule2))]
("Bob" "is" "round" "-")
((triple1 ((triple4 triple2) -> (rule5 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
True
10
proof
[(((((triple4 triple2) -> rule5) triple3 ((triple1 ((triple4 triple2) -> rule5)) -> rule2)) -> rule4))]
("Bob" "is" "kind" "+")
((((triple4 triple2) -> (rule5 % int3)) triple3 ((triple1 ((triple4 triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not young.
False
8
inv-proof
[(((triple3 ((triple1 ((triple4 triple2) -> rule5)) -> rule2) triple4) -> rule3))]
("Bob" "is" "young" "-")
((triple3 ((triple1 ((triple4 triple2) -> (rule5 % int3))) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Eric is not green.
Unknown
inv-rconc
[@3: Eric is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule6 <- FAIL)]]
("Eric" "is" "green" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Eric is not cold.
Unknown
inv-rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Eric" "is" "cold" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Bob is big.[(triple5)] Bob is cold.[(triple4)] Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Charlie is blue.[(triple7)] Charlie is young.[(triple6)] Dave is cold.[(triple9)] Dave is red.[(triple8)] Eric is kind.[(triple12)] Eric is nice.[(triple11)] Eric is red.[(triple10)] @1: Bob is green.[(((triple4 triple2) -> rule5))] Dave is green.[(((triple9 triple8) -> rule5))] @2: Bob is round.[(((triple1 ((triple4 triple2) -> rule5)) -> rule2))] @3: Bob is kind.[(((((triple4 triple2) -> rule5) triple3 ((triple1 ((triple4 triple2) -> rule5)) -> rule2)) -> rule4))] Bob is young.[(((triple3 ((triple1 ((triple4 triple2) -> rule5)) -> rule2) triple4) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple12
Eric is nice.
("Eric" "is" "nice" "+")
triple11
Eric is red.
("Eric" "is" "red" "+")
triple10
Bob is green.
("Bob" "is" "green" "+")
((triple4 triple2) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple9 triple8) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple1 ((triple4 triple2) -> (rule5 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((triple4 triple2) -> (rule5 % int3)) triple3 ((triple1 ((triple4 triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((triple3 ((triple1 ((triple4 triple2) -> (rule5 % int3))) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Even though big Bob can be rough and cold, he is nice for someone as red as he is.
From a certain angle Charlie is blue but he is young so maybe that will go away.
Dave gets red when he is mad and tends to act very cold.
Eric is a nice and red, but very kind person as soon as you meet him.
A nice person who is green is feeling cold.
A good thing to remember is that rough and green people are round as well.
People who are cold even when they're nice and round, they are young.
Green eyed people are often nice, but when they are also round about the middle they are most certainly kind.
A person with the qualities of being cold and being red will also be a person that is green.
Being big and blue is standard for being green.