Alan is big and dresses in blue. When you see Bob, you will notice he is cold, big and kind. Eric 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. Fred always goes out of his way to show that he is kind to people. Young people that are blue will still be kind because they are rough to the touch. Young people that are big in size, tend to be more on the blue side. Big,cold,kind people tend to be red in color to others. A blue individual that is kind and nice to others also has a rough appearance. Anyone you know who is cold and kind must certainly be young.
If someone is blue and young and kind then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and big and cold then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and blue and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and kind then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Eric is green.
True
1
proof
[(triple8)]
("Eric" "is" "green" "+")
triple8
Eric is not cold.
False
1
inv-proof
[(triple9)]
("Eric" "is" "cold" "-")
triple9
Eric is young.
True
3
proof
[(((triple9 triple7) -> rule5))]
("Eric" "is" "young" "+")
((triple9 triple7) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple4 triple3) -> rule5))]
("Bob" "is" "young" "-")
((triple4 triple3) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
True
5
proof
[(((triple5 ((triple4 triple3) -> rule5)) -> rule2))]
("Bob" "is" "blue" "+")
((triple5 ((triple4 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not blue.
False
5
inv-proof
[(((triple5 ((triple4 triple3) -> rule5)) -> rule2))]
("Bob" "is" "blue" "-")
((triple5 ((triple4 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
True
10
proof
[(((((triple5 ((triple4 triple3) -> rule5)) -> rule2) ((triple4 triple3) -> rule5) triple3) -> rule1))]
("Bob" "is" "rough" "+")
((((triple5 ((triple4 triple3) -> (rule5 % int3))) -> (rule2 % int2)) ((triple4 triple3) -> (rule5 % int3)) triple3) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not rough.
False
10
inv-proof
[(((((triple5 ((triple4 triple3) -> rule5)) -> rule2) ((triple4 triple3) -> rule5) triple3) -> rule1))]
("Bob" "is" "rough" "-")
((((triple5 ((triple4 triple3) -> (rule5 % int3))) -> (rule2 % int2)) ((triple4 triple3) -> (rule5 % int3)) triple3) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "young" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "blue" "+")
Fred is not rough.
Unknown
inv-rconc
[@2: Fred is rough.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fred" "is" "rough" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "red" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Alan is big.[(triple2)] Alan is blue.[(triple1)] Bob is big.[(triple5)] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Eric is cold.[(triple9)] Eric is green.[(triple8)] Eric is kind.[(triple7)] Eric is rough.[(triple6)] Fred is kind.[(triple10)] @1: Bob is red.[(((triple3 triple5 triple4) -> rule3))] Bob is young.[(((triple4 triple3) -> rule5))] Eric is young.[(((triple9 triple7) -> rule5))] @2: Bob is blue.[(((triple5 ((triple4 triple3) -> rule5)) -> rule2))] @3: Bob is rough.[(((((triple5 ((triple4 triple3) -> rule5)) -> rule2) ((triple4 triple3) -> rule5) triple3) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is blue.
("Alan" "is" "blue" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple10
Bob is red.
("Bob" "is" "red" "+")
((triple3 triple5 triple4) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple4 triple3) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple9 triple7) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple5 ((triple4 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((((triple5 ((triple4 triple3) -> (rule5 % int3))) -> (rule2 % int2)) ((triple4 triple3) -> (rule5 % int3)) triple3) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Alan is big and dresses in blue.
When you see Bob, you will notice he is cold, big and kind.
Eric 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.
Fred always goes out of his way to show that he is kind to people.
Young people that are blue will still be kind because they are rough to the touch.
Young people that are big in size, tend to be more on the blue side.
Big,cold,kind people tend to be red in color to others.
A blue individual that is kind and nice to others also has a rough appearance.
Anyone you know who is cold and kind must certainly be young.