That guy Bob is big, but he's always kind to little ones. Charlie often feels a bit blue and tends to run on the cold side while also being very nice and red. Eric is a kind and red colored guy. Fred is a rough kind of Fellow, but described as a nice and kind Person, even though Fred is red. Young people who wear red lipstick are certainly kind. Because of circulation issues big people are often cold. If they are also green then they are certainly young. A green person that is cold is often considered to be red. Someone who is round like a dumpling and cold like an icicle are very young in age. A big person with cold, rough skin is going to be green as well. Someone that is red and blue because they are cold are also round. A young, cold person is often blue.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "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 green and big then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is round and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is big and cold and rough then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and red and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and young then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Fred is kind.
True
1
proof
[(triple12)]
("Fred" "is" "kind" "+")
triple12
Eric is not kind.
False
1
inv-proof
[(triple8)]
("Eric" "is" "kind" "-")
triple8
Charlie is round.
True
4
proof
[(((triple6 triple3 triple5) -> rule6))]
("Charlie" "is" "round" "+")
((triple6 triple3 triple5) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
4
inv-proof
[(((triple6 triple3 triple5) -> rule6))]
("Charlie" "is" "round" "-")
((triple6 triple3 triple5) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
True
6
proof
[(((((triple6 triple3 triple5) -> rule6) triple5) -> rule4))]
("Charlie" "is" "young" "+")
((((triple6 triple3 triple5) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not young.
False
6
inv-proof
[(((((triple6 triple3 triple5) -> rule6) triple5) -> rule4))]
("Charlie" "is" "young" "-")
((((triple6 triple3 triple5) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
True
8
proof
[(((triple3 ((((triple6 triple3 triple5) -> rule6) triple5) -> rule4)) -> rule1))]
("Charlie" "is" "kind" "+")
((triple3 ((((triple6 triple3 triple5) -> (rule6 % int3)) triple5) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not kind.
False
8
inv-proof
[(((triple3 ((((triple6 triple3 triple5) -> rule6) triple5) -> rule4)) -> rule1))]
("Charlie" "is" "kind" "-")
((triple3 ((((triple6 triple3 triple5) -> (rule6 % int3)) triple5) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "blue" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "red" "-")
Fred is young.
Unknown
rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "young" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
@0: Bob is big.[(triple2)] Bob is kind.[(triple1)] Charlie is blue.[(triple6)] Charlie is cold.[(triple5)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Eric is kind.[(triple8)] Eric is red.[(triple7)] Fred is kind.[(triple12)] Fred is nice.[(triple11)] Fred is red.[(triple10)] Fred is rough.[(triple9)] @1: Charlie is round.[(((triple6 triple3 triple5) -> rule6))] @2: Charlie is young.[(((((triple6 triple3 triple5) -> rule6) triple5) -> rule4))] @3: Charlie is kind.[(((triple3 ((((triple6 triple3 triple5) -> rule6) triple5) -> rule4)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple12
Fred is nice.
("Fred" "is" "nice" "+")
triple11
Fred is red.
("Fred" "is" "red" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
((triple6 triple3 triple5) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((((triple6 triple3 triple5) -> (rule6 % int2)) triple5) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple3 ((((triple6 triple3 triple5) -> (rule6 % int3)) triple5) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
That guy Bob is big, but he's always kind to little ones.
Charlie often feels a bit blue and tends to run on the cold side while also being very nice and red.
Eric is a kind and red colored guy.
Fred is a rough kind of Fellow, but described as a nice and kind Person, even though Fred is red.
Young people who wear red lipstick are certainly kind.
Because of circulation issues big people are often cold; If they are also green then they are certainly young.
A green person that is cold is often considered to be red.
Someone who is round like a dumpling and cold like an icicle are very young in age.
A big person with cold, rough skin is going to be green as well.
Someone that is red and blue because they are cold are also round.
A young, cold person is often blue.