Upon meeting Bob, you'll notice he's green and kind. Fred is known to be rough and green. Gary is big and round with red rosy cheeks. He is young and kind. That man standing next to you with a big round body goes by the name of Harry. A cold temperatured and green colored person who is also big will be young. A nice young person who is red is cold. A round shaped and rough person will be blue as well. When you meet big guys with red hair, then tend to be cold hearted. Among cold people, those who are round and kind are also rough.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is big and green and cold then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and red and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and red then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and round and kind then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Bob is kind.
True
1
proof
[(triple1)]
("Bob" "is" "kind" "+")
triple1
Bob is not green.
False
1
inv-proof
[(triple2)]
("Bob" "is" "green" "-")
triple2
Gary is cold.
True
3
proof
[(((triple9 triple7) -> rule4))]
("Gary" "is" "cold" "+")
((triple9 triple7) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
3
inv-proof
[(((triple9 triple7) -> rule4))]
("Gary" "is" "cold" "-")
((triple9 triple7) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
True
6
proof
[(((((triple9 triple7) -> rule4) triple6 triple8) -> rule5))]
("Gary" "is" "rough" "+")
((((triple9 triple7) -> (rule4 % int2)) triple6 triple8) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not rough.
False
6
inv-proof
[(((((triple9 triple7) -> rule4) triple6 triple8) -> rule5))]
("Gary" "is" "rough" "-")
((((triple9 triple7) -> (rule4 % int2)) triple6 triple8) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
True
8
proof
[(((((((triple9 triple7) -> rule4) triple6 triple8) -> rule5) triple6) -> rule3))]
("Gary" "is" "blue" "+")
((((((triple9 triple7) -> (rule4 % int3)) triple6 triple8) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not blue.
False
8
inv-proof
[(((((((triple9 triple7) -> rule4) triple6 triple8) -> rule5) triple6) -> rule3))]
("Gary" "is" "blue" "-")
((((((triple9 triple7) -> (rule4 % int3)) triple6 triple8) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is blue.
Unknown
rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Harry" "is" "blue" "+")
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "cold" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Bob is green.[(triple2)] Bob is kind.[(triple1)] Fred is green.[(triple4)] Fred is rough.[(triple3)] Gary is big.[(triple9)] Gary is kind.[(triple8)] Gary is red.[(triple7)] Gary is round.[(triple6)] Gary is young.[(triple5)] Harry is big.[(triple11)] Harry is round.[(triple10)] @1: Gary is cold.[(((triple9 triple7) -> rule4))] @2: Gary is rough.[(((((triple9 triple7) -> rule4) triple6 triple8) -> rule5))] @3: Gary is blue.[(((((((triple9 triple7) -> rule4) triple6 triple8) -> rule5) triple6) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple4
Fred is rough.
("Fred" "is" "rough" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
((triple9 triple7) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((((triple9 triple7) -> (rule4 % int2)) triple6 triple8) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((((triple9 triple7) -> (rule4 % int3)) triple6 triple8) -> (rule5 % int2)) triple6) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Upon meeting Bob, you'll notice he's green and kind.
Fred is known to be rough and green.
Gary is big and round with red rosy cheeks; He is young and kind.
That man standing next to you with a big round body goes by the name of Harry.
A cold temperatured and green colored person who is also big will be young.
A nice young person who is red is cold.
A round shaped and rough person will be blue as well.
When you meet big guys with red hair, then tend to be cold hearted.
Among cold people, those who are round and kind are also rough.