Bob is known to be rough and green. As much as Charlie is nice, he is also cold and often feels blue. Even though he's a big dude, Fred is cold. Whoever is rough and red must be kind. Anyone that's rough and cold is also going to be blue. Kind and blue people,though young,tend to be big. People,though rough and red,tend to be cold too. Blue people who are big tend to be rough. You will discover that green rough people are always red. Someone who's young and frosty cold are actually very nice.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and blue and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is young and cold then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Charlie is cold.
True
1
proof
[(triple4)]
("Charlie" "is" "cold" "+")
triple4
Fred is not cold.
False
1
inv-proof
[(triple6)]
("Fred" "is" "cold" "-")
triple6
Bob is red.
True
3
proof
[(((triple2 triple1) -> rule6))]
("Bob" "is" "red" "+")
((triple2 triple1) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
3
inv-proof
[(((triple2 triple1) -> rule6))]
("Bob" "is" "red" "-")
((triple2 triple1) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
True
5
proof
[(((triple1 ((triple2 triple1) -> rule6)) -> rule4))]
("Bob" "is" "cold" "+")
((triple1 ((triple2 triple1) -> (rule6 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not cold.
False
5
inv-proof
[(((triple1 ((triple2 triple1) -> rule6)) -> rule4))]
("Bob" "is" "cold" "-")
((triple1 ((triple2 triple1) -> (rule6 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
True
7
proof
[(((((triple1 ((triple2 triple1) -> rule6)) -> rule4) triple1) -> rule2))]
("Bob" "is" "blue" "+")
((((triple1 ((triple2 triple1) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not blue.
False
7
inv-proof
[(((((triple1 ((triple2 triple1) -> rule6)) -> rule4) triple1) -> rule2))]
("Bob" "is" "blue" "-")
((((triple1 ((triple2 triple1) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Fred is not kind.
Unknown
inv-rconc
[@2: Fred is kind.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Fred" "is" "kind" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "+")
Fred is not blue.
Unknown
inv-rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Fred" "is" "blue" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "nice" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Bob is green.[(triple2)] Bob is rough.[(triple1)] Charlie is blue.[(triple5)] Charlie is cold.[(triple4)] Charlie is nice.[(triple3)] Fred is big.[(triple7)] Fred is cold.[(triple6)] @1: Bob is red.[(((triple2 triple1) -> rule6))] @2: Bob is cold.[(((triple1 ((triple2 triple1) -> rule6)) -> rule4))] Bob is kind.[(((triple1 ((triple2 triple1) -> rule6)) -> rule1))] @3: Bob is blue.[(((((triple1 ((triple2 triple1) -> rule6)) -> rule4) triple1) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
((triple2 triple1) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple1 ((triple2 triple1) -> (rule6 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((triple1 ((triple2 triple1) -> (rule6 % int2))) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((((triple1 ((triple2 triple1) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is known to be rough and green.
As much as Charlie is nice, he is also cold and often feels blue.
Even though he's a big dude, Fred is cold.
Whoever is rough and red must be kind.
Anyone that's rough and cold is also going to be blue.
Kind and blue people,though young,tend to be big.
People,though rough and red,tend to be cold too.
Blue people who are big tend to be rough.
You will discover that green rough people are always red.
Someone who's young and frosty cold are actually very nice.