To the touch Bob has rough, cold skin. That big rough Charlie guy is both red and blue at the same time. When you see Fred, you will notice he is cold, big and kind. Everyone that is rough but also kind will be green. Maybe someone is rough and blue with the cold. If a big person is cold and nice, then they are green. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. You will always find a cold, rough, red person to also be a round person. Nice people who are kind, despite their rough skin, are big hearted.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is kind and rough then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and big and nice then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and red and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and rough and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and nice and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Fred is cold.
True
1
proof
[(triple8)]
("Fred" "is" "cold" "+")
triple8
Bob is not cold.
False
1
inv-proof
[(triple2)]
("Bob" "is" "cold" "-")
triple2
Charlie is cold.
True
3
proof
[(((triple3 triple5) -> rule2))]
("Charlie" "is" "cold" "+")
((triple3 triple5) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
3
inv-proof
[(((triple3 triple5) -> rule2))]
("Charlie" "is" "cold" "-")
((triple3 triple5) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
True
6
proof
[(((((triple3 triple5) -> rule2) triple3 triple4) -> rule5))]
("Charlie" "is" "round" "+")
((((triple3 triple5) -> (rule2 % int2)) triple3 triple4) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not round.
False
6
inv-proof
[(((((triple3 triple5) -> rule2) triple3 triple4) -> rule5))]
("Charlie" "is" "round" "-")
((((triple3 triple5) -> (rule2 % int2)) triple3 triple4) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
True
9
proof
[(((triple5 triple4 ((((triple3 triple5) -> rule2) triple3 triple4) -> rule5)) -> rule4))]
("Charlie" "is" "nice" "+")
((triple5 triple4 ((((triple3 triple5) -> (rule2 % int3)) triple3 triple4) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not nice.
False
9
inv-proof
[(((triple5 triple4 ((((triple3 triple5) -> rule2) triple3 triple4) -> rule5)) -> rule4))]
("Charlie" "is" "nice" "-")
((triple5 triple4 ((((triple3 triple5) -> (rule2 % int3)) triple3 triple4) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
True
14
proof
[(((((triple3 triple5) -> rule2) triple6 ((triple5 triple4 ((((triple3 triple5) -> rule2) triple3 triple4) -> rule5)) -> rule4)) -> rule3))]
("Charlie" "is" "green" "+")
((((triple3 triple5) -> (rule2 % int4)) triple6 ((triple5 triple4 ((((triple3 triple5) -> (rule2 % int4)) triple3 triple4) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is not green.
False
14
inv-proof
[(((((triple3 triple5) -> rule2) triple6 ((triple5 triple4 ((((triple3 triple5) -> rule2) triple3 triple4) -> rule5)) -> rule4)) -> rule3))]
("Charlie" "is" "green" "-")
((((triple3 triple5) -> (rule2 % int4)) triple6 ((triple5 triple4 ((((triple3 triple5) -> (rule2 % int4)) triple3 triple4) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Bob is not green.
Unknown
inv-rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "round" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "cold" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "nice" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Bob is cold.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple6)] Charlie is blue.[(triple5)] Charlie is red.[(triple4)] Charlie is rough.[(triple3)] Fred is big.[(triple9)] Fred is cold.[(triple8)] Fred is kind.[(triple7)] @1: Charlie is cold.[(((triple3 triple5) -> rule2))] @2: Charlie is round.[(((((triple3 triple5) -> rule2) triple3 triple4) -> rule5))] @3: Charlie is nice.[(((triple5 triple4 ((((triple3 triple5) -> rule2) triple3 triple4) -> rule5)) -> rule4))] @4: Charlie is green.[(((((triple3 triple5) -> rule2) triple6 ((triple5 triple4 ((((triple3 triple5) -> rule2) triple3 triple4) -> rule5)) -> rule4)) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3 triple5) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple3 triple5) -> (rule2 % int2)) triple3 triple4) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple5 triple4 ((((triple3 triple5) -> (rule2 % int3)) triple3 triple4) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((((triple3 triple5) -> (rule2 % int4)) triple6 ((triple5 triple4 ((((triple3 triple5) -> (rule2 % int4)) triple3 triple4) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
To the touch Bob has rough, cold skin.
That big rough Charlie guy is both red and blue at the same time.
When you see Fred, you will notice he is cold, big and kind.
Everyone that is rough but also kind will be green.
Maybe someone is rough and blue with the cold.
If a big person is cold and nice, then they are green.
If you meet someone who is red and blue with a round shape, you can count on them being nice to you.
You will always find a cold, rough, red person to also be a round person.
Nice people who are kind, despite their rough skin, are big hearted.