Although Bob is seen as nice and round, his days of playing football have made him quite rough. Charlie fits the description of someone who is rough, red and blue. Gary wears all blue. A kind and green person who is rough around the edges is cold. Anyone that's rough and cold is also going to be blue. If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough. As someone can be round and rough, they can also be nice and kind. Being kind and young means that if they are also blue, they are always red. Nice, kind people who look rough almost always feel cold. Someone who is cold and big is also a red person.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is green and rough and kind then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and big and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and round and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
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 nice and kind and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Charlie is rough.
True
1
proof
[(triple4)]
("Charlie" "is" "rough" "+")
triple4
Charlie is not blue.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "blue" "-")
triple6
Bob is kind.
True
4
proof
[(((triple3 triple1 triple2) -> rule4))]
("Bob" "is" "kind" "+")
((triple3 triple1 triple2) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not kind.
False
4
inv-proof
[(((triple3 triple1 triple2) -> rule4))]
("Bob" "is" "kind" "-")
((triple3 triple1 triple2) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
True
7
proof
[(((triple3 ((triple3 triple1 triple2) -> rule4) triple2) -> rule6))]
("Bob" "is" "cold" "+")
((triple3 ((triple3 triple1 triple2) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not cold.
False
7
inv-proof
[(((triple3 ((triple3 triple1 triple2) -> rule4) triple2) -> rule6))]
("Bob" "is" "cold" "-")
((triple3 ((triple3 triple1 triple2) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
True
9
proof
[(((((triple3 ((triple3 triple1 triple2) -> rule4) triple2) -> rule6) triple2) -> rule2))]
("Bob" "is" "blue" "+")
((((triple3 ((triple3 triple1 triple2) -> (rule4 % int3)) triple2) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not blue.
False
9
inv-proof
[(((((triple3 ((triple3 triple1 triple2) -> rule4) triple2) -> rule6) triple2) -> rule2))]
("Bob" "is" "blue" "-")
((((triple3 ((triple3 triple1 triple2) -> (rule4 % int3)) triple2) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "red" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "kind" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is nice.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Charlie is blue.[(triple6)] Charlie is red.[(triple5)] Charlie is rough.[(triple4)] Gary is blue.[(triple7)] @1: Bob is kind.[(((triple3 triple1 triple2) -> rule4))] @2: Bob is cold.[(((triple3 ((triple3 triple1 triple2) -> rule4) triple2) -> rule6))] @3: Bob is blue.[(((((triple3 ((triple3 triple1 triple2) -> rule4) triple2) -> rule6) triple2) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
((triple3 triple1 triple2) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple3 ((triple3 triple1 triple2) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((((triple3 ((triple3 triple1 triple2) -> (rule4 % int3)) triple2) -> (rule6 % int2)) triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Although Bob is seen as nice and round, his days of playing football have made him quite rough.
Charlie fits the description of someone who is rough, red and blue.
Gary wears all blue.
A kind and green person who is rough around the edges is cold.
Anyone that's rough and cold is also going to be blue.
If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough.
As someone can be round and rough, they can also be nice and kind.
Being kind and young means that if they are also blue, they are always red.
Nice, kind people who look rough almost always feel cold.
Someone who is cold and big is also a red person.