Upon meeting Bob, you'll notice he's green and kind. Eric is young but big for his age. Eric wasn't feeling well so he is a little green. Blue and green Fred is so kind he snowplows the neighbors driveways and everyone thanks him with beer. You could say that Gary is red and kind and it would also be true that he is cold and big. Big people who kind even when look green are often always considered nice. Nice people who have red cold skin are round. Big, rough people sometimes are also green and when they are they must be cold. Being kind and young means that if they are also blue, they are always red. A young and kind person with red rosy skin is cold. A person with the qualities of being cold and being red will also be a person that is green. Nobody who is round and rough and big can keep themselves from being nice.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is big and kind and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and nice and cold then they are round.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and big and green then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and kind and young then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is young and kind and red then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is round and rough and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Bob is kind.
True
1
proof
[(triple1)]
("Bob" "is" "kind" "+")
triple1
Eric is not young.
False
1
inv-proof
[(triple3)]
("Eric" "is" "young" "-")
triple3
Gary is green.
True
3
proof
[(((triple11 triple9) -> rule6))]
("Gary" "is" "green" "+")
((triple11 triple9) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple11 triple9) -> rule6))]
("Gary" "is" "green" "-")
((triple11 triple9) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
True
6
proof
[(((triple12 triple10 ((triple11 triple9) -> rule6)) -> rule1))]
("Gary" "is" "nice" "+")
((triple12 triple10 ((triple11 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not nice.
False
6
inv-proof
[(((triple12 triple10 ((triple11 triple9) -> rule6)) -> rule1))]
("Gary" "is" "nice" "-")
((triple12 triple10 ((triple11 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
True
9
proof
[(((triple9 ((triple12 triple10 ((triple11 triple9) -> rule6)) -> rule1) triple11) -> rule2))]
("Gary" "is" "round" "+")
((triple9 ((triple12 triple10 ((triple11 triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not round.
False
9
inv-proof
[(((triple9 ((triple12 triple10 ((triple11 triple9) -> rule6)) -> rule1) triple11) -> rule2))]
("Gary" "is" "round" "-")
((triple9 ((triple12 triple10 ((triple11 triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "cold" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "cold" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Bob is green.[(triple2)] Bob is kind.[(triple1)] Eric is big.[(triple5)] Eric is green.[(triple4)] Eric is young.[(triple3)] Fred is blue.[(triple8)] Fred is green.[(triple7)] Fred is kind.[(triple6)] Gary is big.[(triple12)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9)] @1: Gary is green.[(((triple11 triple9) -> rule6))] @2: Gary is nice.[(((triple12 triple10 ((triple11 triple9) -> rule6)) -> rule1))] @3: Gary is round.[(((triple9 ((triple12 triple10 ((triple11 triple9) -> rule6)) -> rule1) triple11) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
((triple11 triple9) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple12 triple10 ((triple11 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple9 ((triple12 triple10 ((triple11 triple9) -> (rule6 % int3))) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Upon meeting Bob, you'll notice he's green and kind.
Eric is young but big for his age; Eric wasn't feeling well so he is a little green.
Blue and green Fred is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
You could say that Gary is red and kind and it would also be true that he is cold and big.
Big people who kind even when look green are often always considered nice.
Nice people who have red cold skin are round.
Big, rough people sometimes are also green and when they are they must be cold.
Being kind and young means that if they are also blue, they are always red.
A young and kind person with red rosy skin is cold.
A person with the qualities of being cold and being red will also be a person that is green.
Nobody who is round and rough and big can keep themselves from being nice.