Even though he's a big dude, Dave is cold. In the snow sits Fred, crying from being cold. To the touch Gary has rough, cold skin. Harry, the round one, is cold in Alaska because he's green and rough around the edges. Cold and rough people will also surely be round shaped. If you see someone who is red and green they are round, like Santa Claus. A blue colored, nice but rough person is definitely young too. A rough, blue person is often said to be nice. A green and quite rough person will also be blue. A nice young person will be rough in texture.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
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 blue and rough then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and nice then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Gary is cold.
True
1
proof
[(triple5)]
("Gary" "is" "cold" "+")
triple5
Dave is not cold.
False
1
inv-proof
[(triple1)]
("Dave" "is" "cold" "-")
triple1
Harry is blue.
True
3
proof
[(((triple7 triple8) -> rule5))]
("Harry" "is" "blue" "+")
((triple7 triple8) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple5 triple4) -> rule1))]
("Gary" "is" "round" "-")
((triple5 triple4) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is nice.
True
5
proof
[(((((triple7 triple8) -> rule5) triple7) -> rule4))]
("Harry" "is" "nice" "+")
((((triple7 triple8) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not nice.
False
5
inv-proof
[(((((triple7 triple8) -> rule5) triple7) -> rule4))]
("Harry" "is" "nice" "-")
((((triple7 triple8) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
True
10
proof
[(((((((triple7 triple8) -> rule5) triple7) -> rule4) ((triple7 triple8) -> rule5) triple7) -> rule3))]
("Harry" "is" "young" "+")
((((((triple7 triple8) -> (rule5 % int3)) triple7) -> (rule4 % int2)) ((triple7 triple8) -> (rule5 % int3)) triple7) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is not young.
False
10
inv-proof
[(((((((triple7 triple8) -> rule5) triple7) -> rule4) ((triple7 triple8) -> rule5) triple7) -> rule3))]
("Harry" "is" "young" "-")
((((((triple7 triple8) -> (rule5 % int3)) triple7) -> (rule4 % int2)) ((triple7 triple8) -> (rule5 % int3)) triple7) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "blue" "-")
Fred is young.
Unknown
rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Fred" "is" "young" "+")
Gary is not young.
Unknown
inv-rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Gary" "is" "young" "-")
Dave is round.
Unknown
rconc
[@3: Dave is round.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule3 <- FAIL)]]
("Dave" "is" "round" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Dave is big.[(triple2)] Dave is cold.[(triple1)] Fred is cold.[(triple3)] Gary is cold.[(triple5)] Gary is rough.[(triple4)] Harry is cold.[(triple9)] Harry is green.[(triple8)] Harry is rough.[(triple7)] Harry is round.[(triple6 OR ((triple9 triple7) -> rule1))] @1: Gary is round.[(((triple5 triple4) -> rule1))] Harry is blue.[(((triple7 triple8) -> rule5))] @2: Harry is nice.[(((((triple7 triple8) -> rule5) triple7) -> rule4))] @3: Harry is young.[(((((((triple7 triple8) -> rule5) triple7) -> rule4) ((triple7 triple8) -> rule5) triple7) -> rule3))]
Dave is big.
("Dave" "is" "big" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
((triple9 triple7) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple5 triple4) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple7 triple8) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((((triple7 triple8) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((((triple7 triple8) -> (rule5 % int3)) triple7) -> (rule4 % int2)) ((triple7 triple8) -> (rule5 % int3)) triple7) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Even though he's a big dude, Dave is cold.
In the snow sits Fred, crying from being cold.
To the touch Gary has rough, cold skin.
Harry, the round one, is cold in Alaska because he's green and rough around the edges.
Cold and rough people will also surely be round shaped.
If you see someone who is red and green they are round, like Santa Claus.
A blue colored, nice but rough person is definitely young too.
A rough, blue person is often said to be nice.
A green and quite rough person will also be blue.
A nice young person will be rough in texture.