That man standing next to you with a big round body goes by the name of Eric. Most everyone considers Fred a rough fellow, but very kind. He's often categorized as blue, and he's big. 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 big person who is kind but blue is cold. If people are cold they are often red. A blue colored, nice but rough person is definitely young too. A big rough person are also young of age. When you meet a young, red person, you'll learn they are also nice. Big people who at the same time are cold hearted and nice are a conundrum but they are also kind. A person who is red and green, will also tend to be round shaped and rough.
Eric is round.
("Eric" "is" "round" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
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 blue and kind and big then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and blue and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big and rough then they are young.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is young and red then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and nice and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and green and red then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Fred is rough.
True
1
proof
[(triple3)]
("Fred" "is" "rough" "+")
triple3
Harry is not green.
False
1
inv-proof
[(triple9)]
("Harry" "is" "green" "-")
triple9
Fred is young.
True
3
proof
[(((triple6 triple3) -> rule4))]
("Fred" "is" "young" "+")
((triple6 triple3) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is not cold.
False
4
inv-proof
[(((triple5 triple4 triple6) -> rule1))]
("Fred" "is" "cold" "-")
((triple5 triple4 triple6) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
True
5
proof
[(((((triple5 triple4 triple6) -> rule1)) -> rule2))]
("Fred" "is" "red" "+")
((((triple5 triple4 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is not red.
False
5
inv-proof
[(((((triple5 triple4 triple6) -> rule1)) -> rule2))]
("Fred" "is" "red" "-")
((((triple5 triple4 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
True
9
proof
[(((((triple6 triple3) -> rule4) ((((triple5 triple4 triple6) -> rule1)) -> rule2)) -> rule5))]
("Fred" "is" "nice" "+")
((((triple6 triple3) -> (rule4 % int4)) ((((triple5 triple4 triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Fred is not nice.
False
9
inv-proof
[(((((triple6 triple3) -> rule4) ((((triple5 triple4 triple6) -> rule1)) -> rule2)) -> rule5))]
("Fred" "is" "nice" "-")
((((triple6 triple3) -> (rule4 % int4)) ((((triple5 triple4 triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "cold" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "+")
Eric is not nice.
Unknown
inv-rconc
[@3: Eric is nice.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule7 <- FAIL)]]
("Eric" "is" "nice" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Eric is big.[(triple2)] Eric is round.[(triple1)] Fred is big.[(triple6)] Fred is blue.[(triple5)] Fred is kind.[(triple4)] Fred is rough.[(triple3)] Harry is cold.[(triple10)] Harry is green.[(triple9)] Harry is kind.[(triple8)] Harry is rough.[(triple7)] @1: Fred is cold.[(((triple5 triple4 triple6) -> rule1))] Fred is young.[(((triple6 triple3) -> rule4))] Harry is red.[(((triple10) -> rule2))] @2: Fred is red.[(((((triple5 triple4 triple6) -> rule1)) -> rule2))] @3: Fred is nice.[(((((triple6 triple3) -> rule4) ((((triple5 triple4 triple6) -> rule1)) -> rule2)) -> rule5))]
Eric is big.
("Eric" "is" "big" "+")
triple2
Eric is round.
("Eric" "is" "round" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple4
Fred is rough.
("Fred" "is" "rough" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
((triple5 triple4 triple6) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple6 triple3) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple10) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((((triple5 triple4 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((((triple6 triple3) -> (rule4 % int4)) ((((triple5 triple4 triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
That man standing next to you with a big round body goes by the name of Eric.
Most everyone considers Fred a rough fellow, but very kind; He's often categorized as blue, and he's big.
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 big person who is kind but blue is cold.
If people are cold they are often red.
A blue colored, nice but rough person is definitely young too.
A big rough person are also young of age.
When you meet a young, red person, you'll learn they are also nice.
Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.
A person who is red and green, will also tend to be round shaped and rough.