Alan who is considered nice was feeling rather rough today. Bob is big and has rough red skin. He is blue about it and green with envy of the smaller people. They always call him rough Dave. Most everyone considers Harry a rough fellow, but very kind. He's often categorized as blue, and he's big. A male or female with rough, kind and round traits will surely have a nice quality, as well. Red, kind, young people will be rough people, too. Pick someone blue, kind and big, and they are certain to be green as well. Anyone in the world who is nice, red, and young, is simultaneously rough. A young, red person will certainly be cold. Take a drive and find a kind and blue driver, that means they are also young. It's true that green and blue people are also red people.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and kind and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and kind and red then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and kind and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and red and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and young then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and blue then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Alan is rough.
True
1
proof
[(triple1)]
("Alan" "is" "rough" "+")
triple1
Bob is not red.
False
1
inv-proof
[(triple4 OR ((triple5 triple6) -> rule7))]
("Bob" "is" "red" "-")
triple4
((triple5 triple6) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Harry is green.
True
4
proof
[(((triple11 triple10 triple12) -> rule3))]
("Harry" "is" "green" "+")
((triple11 triple10 triple12) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
4
inv-proof
[(((triple11 triple10 triple12) -> rule3))]
("Harry" "is" "green" "-")
((triple11 triple10 triple12) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
True
6
proof
[(((((triple11 triple10 triple12) -> rule3) triple11) -> rule7))]
("Harry" "is" "red" "+")
((((triple11 triple10 triple12) -> (rule3 % int2)) triple11) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is not red.
False
6
inv-proof
[(((((triple11 triple10 triple12) -> rule3) triple11) -> rule7))]
("Harry" "is" "red" "-")
((((triple11 triple10 triple12) -> (rule3 % int2)) triple11) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
True
10
proof
[(((((((triple11 triple10 triple12) -> rule3) triple11) -> rule7) ((triple10 triple11) -> rule6)) -> rule5))]
("Harry" "is" "cold" "+")
((((((triple11 triple10 triple12) -> (rule3 % int4)) triple11) -> (rule7 % int3)) ((triple10 triple11) -> (rule6 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is not cold.
False
10
inv-proof
[(((((((triple11 triple10 triple12) -> rule3) triple11) -> rule7) ((triple10 triple11) -> rule6)) -> rule5))]
("Harry" "is" "cold" "-")
((((((triple11 triple10 triple12) -> (rule3 % int4)) triple11) -> (rule7 % int3)) ((triple10 triple11) -> (rule6 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "young" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "red" "+")
Bob is not cold.
Unknown
inv-rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Bob" "is" "cold" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "young" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Alan is nice.[(triple2)] Alan is rough.[(triple1)] Bob is big.[(triple7)] Bob is blue.[(triple6)] Bob is green.[(triple5)] Bob is red.[(triple4 OR ((triple5 triple6) -> rule7))] Bob is rough.[(triple3)] Dave is rough.[(triple8)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is kind.[(triple10)] Harry is rough.[(triple9 OR ((((triple10 triple11) -> rule6) triple10 ((((triple11 triple10 triple12) -> rule3) triple11) -> rule7)) -> rule2))] @1: Harry is green.[(((triple11 triple10 triple12) -> rule3))] Harry is young.[(((triple10 triple11) -> rule6))] @2: Harry is red.[(((((triple11 triple10 triple12) -> rule3) triple11) -> rule7))] @3: Harry is cold.[(((((((triple11 triple10 triple12) -> rule3) triple11) -> rule7) ((triple10 triple11) -> rule6)) -> rule5))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple7
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
((triple5 triple6) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
((((triple10 triple11) -> (rule6 % int4)) triple10 ((((triple11 triple10 triple12) -> (rule3 % int3)) triple11) -> (rule7 % int2))) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
((triple11 triple10 triple12) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple10 triple11) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((((triple11 triple10 triple12) -> (rule3 % int2)) triple11) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((((triple11 triple10 triple12) -> (rule3 % int4)) triple11) -> (rule7 % int3)) ((triple10 triple11) -> (rule6 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Alan who is considered nice was feeling rather rough today.
Bob is big and has rough red skin; He is blue about it and green with envy of the smaller people.
They always call him rough Dave.
Most everyone considers Harry a rough fellow, but very kind; He's often categorized as blue, and he's big.
A male or female with rough, kind and round traits will surely have a nice quality, as well.
Red, kind, young people will be rough people, too.
Pick someone blue, kind and big, and they are certain to be green as well.
Anyone in the world who is nice, red, and young, is simultaneously rough.
A young, red person will certainly be cold.
Take a drive and find a kind and blue driver, that means they are also young.
It's true that green and blue people are also red people.