They always call him rough Alan. Bob was born only a few years ago so he is young. When you meet Dave you'll the two characteristics that will standout is that he's red but also rough. 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 red colored person will be rough textured and will be blue. Despite being kind cold people with red ears will still be big. A human that's cold also means they are a human that is young. A young, green person who is cold is rough around the edges. Young cold individuals are usualyy rough. You can see that cold, blue people are round in shape. A young, cold person is often blue.
Alan is rough.
("Alan" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
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 red and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and red and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold then they are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and green and young then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and cold then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and young then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Harry is kind.
True
1
proof
[(triple6)]
("Harry" "is" "kind" "+")
triple6
Harry is not cold.
False
1
inv-proof
[(triple8)]
("Harry" "is" "cold" "-")
triple8
Harry is young.
True
2
proof
[(((triple8) -> rule3))]
("Harry" "is" "young" "+")
((triple8) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple8) -> rule3))]
("Harry" "is" "young" "-")
((triple8) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
True
4
proof
[(((triple8 ((triple8) -> rule3)) -> rule7))]
("Harry" "is" "blue" "+")
((triple8 ((triple8) -> (rule3 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not blue.
False
4
inv-proof
[(((triple8 ((triple8) -> rule3)) -> rule7))]
("Harry" "is" "blue" "-")
((triple8 ((triple8) -> (rule3 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
True
6
proof
[(((triple8 ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule6))]
("Harry" "is" "round" "+")
((triple8 ((triple8 ((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not round.
False
6
inv-proof
[(((triple8 ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule6))]
("Harry" "is" "round" "-")
((triple8 ((triple8 ((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "-")
Alan is round.
Unknown
rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "round" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "blue" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Alan is rough.[(triple1)] Bob is young.[(triple2)] Dave is red.[(triple4)] Dave is rough.[(triple3)] Harry is cold.[(triple8)] Harry is green.[(triple7)] Harry is kind.[(triple6)] Harry is rough.[(triple5 OR ((((triple8) -> rule3) triple8) -> rule5) OR ((triple8 triple7 ((triple8) -> rule3)) -> rule4))] @1: Dave is blue.[(((triple4 triple3) -> rule1))] Harry is young.[(((triple8) -> rule3))] @2: Harry is blue.[(((triple8 ((triple8) -> rule3)) -> rule7))] @3: Harry is round.[(((triple8 ((triple8 ((triple8) -> rule3)) -> rule7)) -> rule6))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple5
((((triple8) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((triple8 triple7 ((triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((triple4 triple3) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple8) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple8 ((triple8) -> (rule3 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple8 ((triple8 ((triple8) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
They always call him rough Alan.
Bob was born only a few years ago so he is young.
When you meet Dave you'll the two characteristics that will standout is that he's red but also rough.
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 red colored person will be rough textured and will be blue.
Despite being kind cold people with red ears will still be big.
A human that's cold also means they are a human that is young.
A young, green person who is cold is rough around the edges.
Young cold individuals are usualyy rough.
You can see that cold, blue people are round in shape.
A young, cold person is often blue.