That guy Bob is big, but he's always kind to little ones. Dave wears all blue. That rough but kind guy is Fred, the green one. Gary always goes out of his way to show that he is kind to people. People who are red and round are usually assumed to be green. Often, when you meet a rough person with red skin, you'll see that they are young too. People who are rough are young. A person who is cold, rough and young is also nice. If you meet a young and kind person who is also rough, they are cold, too.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is red and round then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and red then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and young and rough then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and young and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Bob is big.
True
1
proof
[(triple2)]
("Bob" "is" "big" "+")
triple2
Fred is not green.
False
1
inv-proof
[(triple6)]
("Fred" "is" "green" "-")
triple6
Fred is young.
True
2
proof
[(((triple4) -> rule3))]
("Fred" "is" "young" "+")
((triple4) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is not young.
False
2
inv-proof
[(((triple4) -> rule3))]
("Fred" "is" "young" "-")
((triple4) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
True
5
proof
[(((triple4 ((triple4) -> rule3) triple5) -> rule5))]
("Fred" "is" "cold" "+")
((triple4 ((triple4) -> (rule3 % int2)) triple5) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is not cold.
False
5
inv-proof
[(((triple4 ((triple4) -> rule3) triple5) -> rule5))]
("Fred" "is" "cold" "-")
((triple4 ((triple4) -> (rule3 % int2)) triple5) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
True
9
proof
[(((((triple4 ((triple4) -> rule3) triple5) -> rule5) ((triple4) -> rule3) triple4) -> rule4))]
("Fred" "is" "nice" "+")
((((triple4 ((triple4) -> (rule3 % int3)) triple5) -> (rule5 % int2)) ((triple4) -> (rule3 % int3)) triple4) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is not nice.
False
9
inv-proof
[(((((triple4 ((triple4) -> rule3) triple5) -> rule5) ((triple4) -> rule3) triple4) -> rule4))]
("Fred" "is" "nice" "-")
((((triple4 ((triple4) -> (rule3 % int3)) triple5) -> (rule5 % int2)) ((triple4) -> (rule3 % int3)) triple4) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "nice" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "green" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is big.[(triple2)] Bob is kind.[(triple1)] Dave is blue.[(triple3)] Fred is green.[(triple6)] Fred is kind.[(triple5)] Fred is rough.[(triple4)] Gary is kind.[(triple7)] @1: Fred is young.[(((triple4) -> rule3))] @2: Fred is cold.[(((triple4 ((triple4) -> rule3) triple5) -> rule5))] @3: Fred is nice.[(((((triple4 ((triple4) -> rule3) triple5) -> rule5) ((triple4) -> rule3) triple4) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
((triple4) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple4 ((triple4) -> (rule3 % int2)) triple5) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((((triple4 ((triple4) -> (rule3 % int3)) triple5) -> (rule5 % int2)) ((triple4) -> (rule3 % int3)) triple4) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
That guy Bob is big, but he's always kind to little ones.
Dave wears all blue.
That rough but kind guy is Fred, the green one.
Gary always goes out of his way to show that he is kind to people.
People who are red and round are usually assumed to be green.
Often, when you meet a rough person with red skin, you'll see that they are young too.
People who are rough are young.
A person who is cold, rough and young is also nice.
If you meet a young and kind person who is also rough, they are cold, too.