Even though he's young and green, Bob is rough. They always call him rough Dave. Harry was cold as his rough hands clung to the side of the ship, green with nausea. Even through the worst of it he was still kind. A person who is described as round and rough is usually kind. Any green person is a round person. If a kind person is also young and round shaped, they will be colored blue. If you can find someone who is nice and red, then be relieved that they are certain to be kind. When someone is young, they can be cold but kind. If a human is both young and kind, they are also cold.
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and red then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Bob is green.
True
1
proof
[(triple3)]
("Bob" "is" "green" "+")
triple3
Harry is not cold.
False
1
inv-proof
[(triple8)]
("Harry" "is" "cold" "-")
triple8
Bob is round.
True
2
proof
[(((triple3) -> rule2))]
("Bob" "is" "round" "+")
((triple3) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple7) -> rule2))]
("Harry" "is" "round" "-")
((triple7) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Bob is kind.
True
4
proof
[(((((triple3) -> rule2) triple2) -> rule1))]
("Bob" "is" "kind" "+")
((((triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not kind.
False
4
inv-proof
[(((((triple3) -> rule2) triple2) -> rule1))]
("Bob" "is" "kind" "-")
((((triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
True
6
proof
[(((triple1 ((((triple3) -> rule2) triple2) -> rule1)) -> rule6))]
("Bob" "is" "cold" "+")
((triple1 ((((triple3) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not blue.
False
8
inv-proof
[(((((((triple3) -> rule2) triple2) -> rule1) triple1 ((triple3) -> rule2)) -> rule3))]
("Bob" "is" "blue" "-")
((((((triple3) -> (rule2 % int3)) triple2) -> (rule1 % int2)) triple1 ((triple3) -> (rule2 % int3))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "kind" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "round" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Bob is green.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Dave is rough.[(triple4)] Harry is cold.[(triple8)] Harry is green.[(triple7)] Harry is kind.[(triple6 OR ((((triple7) -> rule2) triple5) -> rule1))] Harry is rough.[(triple5)] @1: Bob is round.[(((triple3) -> rule2))] Harry is round.[(((triple7) -> rule2))] @2: Bob is kind.[(((((triple3) -> rule2) triple2) -> rule1))] @3: Bob is blue.[(((((((triple3) -> rule2) triple2) -> rule1) triple1 ((triple3) -> rule2)) -> rule3))] Bob is cold.[(((triple1 ((((triple3) -> rule2) triple2) -> rule1)) -> rule6))]
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple6
((((triple7) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
triple5
Bob is round.
("Bob" "is" "round" "+")
((triple3) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple7) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((((triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((((((triple3) -> (rule2 % int3)) triple2) -> (rule1 % int2)) triple1 ((triple3) -> (rule2 % int3))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
((triple1 ((((triple3) -> (rule2 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Even though he's young and green, Bob is rough.
They always call him rough Dave.
Harry was cold as his rough hands clung to the side of the ship, green with nausea; Even through the worst of it he was still kind.
A person who is described as round and rough is usually kind.
Any green person is a round person.
If a kind person is also young and round shaped, they will be colored blue.
If you can find someone who is nice and red, then be relieved that they are certain to be kind.
When someone is young, they can be cold but kind.
If a human is both young and kind, they are also cold.