They always call him rough Bob. Eric who is round and rough is also said to be nice and kind and is feeling green and blue. If you met Fred, you will find that he is round and young, he is also cold and big. They always call him rough Harry. Green, nice people who have round shapes are going to be kind to you. People who are big and kind and feel down and blue tend to have rough skin. A young, nice person will turn out to be a green person also. Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer. Someone who's young and frosty cold are actually very nice.
If someone is green and round and nice then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and big and blue then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and nice then they are green.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and round and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and cold then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Fred is big.
True
1
proof
[(triple11)]
("Fred" "is" "big" "+")
triple11
Fred is not cold.
False
1
inv-proof
[(triple10)]
("Fred" "is" "cold" "-")
triple10
Fred is nice.
True
3
proof
[(((triple8 triple10) -> rule5))]
("Fred" "is" "nice" "+")
((triple8 triple10) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple8 triple10) -> rule5))]
("Fred" "is" "nice" "-")
((triple8 triple10) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
True
5
proof
[(((triple8 ((triple8 triple10) -> rule5)) -> rule3))]
("Fred" "is" "green" "+")
((triple8 ((triple8 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not green.
False
5
inv-proof
[(((triple8 ((triple8 triple10) -> rule5)) -> rule3))]
("Fred" "is" "green" "-")
((triple8 ((triple8 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is kind.
True
10
proof
[(((((triple8 ((triple8 triple10) -> rule5)) -> rule3) triple9 ((triple8 triple10) -> rule5)) -> rule1))]
("Fred" "is" "kind" "+")
((((triple8 ((triple8 triple10) -> (rule5 % int3))) -> (rule3 % int2)) triple9 ((triple8 triple10) -> (rule5 % int3))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not kind.
False
10
inv-proof
[(((((triple8 ((triple8 triple10) -> rule5)) -> rule3) triple9 ((triple8 triple10) -> rule5)) -> rule1))]
("Fred" "is" "kind" "-")
((((triple8 ((triple8 triple10) -> (rule5 % int3))) -> (rule3 % int2)) triple9 ((triple8 triple10) -> (rule5 % int3))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is rough.
True
15
proof
[(((((((triple8 ((triple8 triple10) -> rule5)) -> rule3) triple9 ((triple8 triple10) -> rule5)) -> rule1) triple9 ((triple8 triple10) -> rule5)) -> rule4))]
("Fred" "is" "rough" "+")
((((((triple8 ((triple8 triple10) -> (rule5 % int4))) -> (rule3 % int3)) triple9 ((triple8 triple10) -> (rule5 % int4))) -> (rule1 % int2)) triple9 ((triple8 triple10) -> (rule5 % int4))) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Fred is not rough.
False
15
inv-proof
[(((((((triple8 ((triple8 triple10) -> rule5)) -> rule3) triple9 ((triple8 triple10) -> rule5)) -> rule1) triple9 ((triple8 triple10) -> rule5)) -> rule4))]
("Fred" "is" "rough" "-")
((((((triple8 ((triple8 triple10) -> (rule5 % int4))) -> (rule3 % int3)) triple9 ((triple8 triple10) -> (rule5 % int4))) -> (rule1 % int2)) triple9 ((triple8 triple10) -> (rule5 % int4))) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "nice" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "nice" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "green" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Bob is rough.[(triple1)] Eric is blue.[(triple7)] Eric is green.[(triple6)] Eric is kind.[(triple5 OR ((triple6 triple2 triple4) -> rule1))] Eric is nice.[(triple4)] Eric is rough.[(triple3 OR ((triple5 triple2 triple4) -> rule4) OR ((((triple6 triple2 triple4) -> rule1) triple2 triple4) -> rule4))] Eric is round.[(triple2)] Fred is big.[(triple11)] Fred is cold.[(triple10)] Fred is round.[(triple9)] Fred is young.[(triple8)] Harry is rough.[(triple12)] @1: Fred is nice.[(((triple8 triple10) -> rule5))] @2: Fred is green.[(((triple8 ((triple8 triple10) -> rule5)) -> rule3))] @3: Fred is kind.[(((((triple8 ((triple8 triple10) -> rule5)) -> rule3) triple9 ((triple8 triple10) -> rule5)) -> rule1))] @4: Fred is rough.[(((((((triple8 ((triple8 triple10) -> rule5)) -> rule3) triple9 ((triple8 triple10) -> rule5)) -> rule1) triple9 ((triple8 triple10) -> rule5)) -> rule4))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
((triple6 triple2 triple4) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Eric is rough.
("Eric" "is" "rough" "+")
triple3
((triple5 triple2 triple4) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
((((triple6 triple2 triple4) -> (rule1 % int2)) triple2 triple4) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is round.
("Fred" "is" "round" "+")
triple9
Fred is young.
("Fred" "is" "young" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Fred is nice.
("Fred" "is" "nice" "+")
((triple8 triple10) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple8 ((triple8 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((((triple8 ((triple8 triple10) -> (rule5 % int3))) -> (rule3 % int2)) triple9 ((triple8 triple10) -> (rule5 % int3))) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
((((((triple8 ((triple8 triple10) -> (rule5 % int4))) -> (rule3 % int3)) triple9 ((triple8 triple10) -> (rule5 % int4))) -> (rule1 % int2)) triple9 ((triple8 triple10) -> (rule5 % int4))) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is nice.
("Fred" "is" "nice" "+")
int4
They always call him rough Bob.
Eric who is round and rough is also said to be nice and kind and is feeling green and blue.
If you met Fred, you will find that he is round and young, he is also cold and big.
They always call him rough Harry.
Green, nice people who have round shapes are going to be kind to you.
People who are big and kind and feel down and blue tend to have rough skin.
A young, nice person will turn out to be a green person also.
Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer.
Someone who's young and frosty cold are actually very nice.