When you meet Dave you'll the two characteristics that will standout is that he's red but also rough. Eric is a nice person who is red because he has a rash. Fred is interestingly colored red and blue, and is also very kind. Harry is young but big for his age and he's cold and red at the moment too. Cold people,though green and red,tend to be rough. People that feel green are cold to people that try to help them. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. A person being big and rough makes them cold towards others but that also means that they are kind. All men who happen to be red and big, will also be blue. A young person who is both big and blue is also someone who is green.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is cold and green and red then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and big and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and big then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and young and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Fred is kind.
True
1
proof
[(triple6)]
("Fred" "is" "kind" "+")
triple6
Fred is not kind.
False
1
inv-proof
[(triple6)]
("Fred" "is" "kind" "-")
triple6
Harry is blue.
True
3
proof
[(((triple9 triple11) -> rule5))]
("Harry" "is" "blue" "+")
((triple9 triple11) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not blue.
False
3
inv-proof
[(((triple9 triple11) -> rule5))]
("Harry" "is" "blue" "-")
((triple9 triple11) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
True
6
proof
[(((((triple9 triple11) -> rule5) triple8 triple11) -> rule6))]
("Harry" "is" "green" "+")
((((triple9 triple11) -> (rule5 % int2)) triple8 triple11) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not green.
False
6
inv-proof
[(((((triple9 triple11) -> rule5) triple8 triple11) -> rule6))]
("Harry" "is" "green" "-")
((((triple9 triple11) -> (rule5 % int2)) triple8 triple11) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
True
9
proof
[(((triple10 ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1) OR ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1))]
("Harry" "is" "rough" "+")
((triple10 ((((triple9 triple11) -> (rule5 % int3)) triple8 triple11) -> (rule6 % int2)) triple9) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((((triple9 triple11) -> (rule5 % int4)) triple8 triple11) -> (rule6 % int3))) -> (rule2 % int2)) ((((triple9 triple11) -> (rule5 % int4)) triple8 triple11) -> (rule6 % int3)) triple9) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is not rough.
False
9
inv-proof
[(((triple10 ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1) OR ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1))]
("Harry" "is" "rough" "-")
((triple10 ((((triple9 triple11) -> (rule5 % int3)) triple8 triple11) -> (rule6 % int2)) triple9) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((((triple9 triple11) -> (rule5 % int4)) triple8 triple11) -> (rule6 % int3))) -> (rule2 % int2)) ((((triple9 triple11) -> (rule5 % int4)) triple8 triple11) -> (rule6 % int3)) triple9) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is kind.
True
12
proof
[(((triple10 triple11 ((triple10 ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) triple11 ((triple10 ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1)) -> rule4) OR ((triple10 triple11 ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) triple11 ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1)) -> rule4))]
("Harry" "is" "kind" "+")
((triple10 triple11 ((triple10 ((((triple9 triple11) -> (rule5 % int4)) triple8 triple11) -> (rule6 % int3)) triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4))) -> (rule2 % int3)) triple11 ((triple10 ((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4)) triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((triple10 triple11 ((((((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4)) triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4))) -> (rule2 % int3)) triple11 ((((((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4)) triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is not kind.
False
12
inv-proof
[(((triple10 triple11 ((triple10 ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) triple11 ((triple10 ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1)) -> rule4) OR ((triple10 triple11 ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) triple11 ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1)) -> rule4))]
("Harry" "is" "kind" "-")
((triple10 triple11 ((triple10 ((((triple9 triple11) -> (rule5 % int4)) triple8 triple11) -> (rule6 % int3)) triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4))) -> (rule2 % int3)) triple11 ((triple10 ((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4)) triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((triple10 triple11 ((((((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4)) triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4))) -> (rule2 % int3)) triple11 ((((((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4)) triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "-")
Eric is rough.
Unknown
rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Eric" "is" "rough" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "kind" "-")
Eric is green.
Unknown
rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "green" "+")
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "green" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
@0: Dave is red.[(triple2)] Dave is rough.[(triple1)] Eric is nice.[(triple4)] Eric is red.[(triple3)] Fred is blue.[(triple7)] Fred is kind.[(triple6)] Fred is red.[(triple5)] Harry is big.[(triple11)] Harry is cold.[(triple10 OR ((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2))] Harry is red.[(triple9)] Harry is young.[(triple8)] @1: Harry is blue.[(((triple9 triple11) -> rule5))] @2: Harry is green.[(((((triple9 triple11) -> rule5) triple8 triple11) -> rule6))] @3: Harry is rough.[(((triple10 ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1) OR ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1))] @4: Harry is kind.[(((triple10 triple11 ((triple10 ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) triple11 ((triple10 ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1)) -> rule4) OR ((triple10 triple11 ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) triple11 ((((((((triple9 triple11) -> rule5) triple8 triple11) -> rule6)) -> rule2) ((((triple9 triple11) -> rule5) triple8 triple11) -> rule6) triple9) -> rule1)) -> rule4))]
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
((((((triple9 triple11) -> (rule5 % int3)) triple8 triple11) -> (rule6 % int2))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
((triple9 triple11) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((((triple9 triple11) -> (rule5 % int2)) triple8 triple11) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((triple10 ((((triple9 triple11) -> (rule5 % int3)) triple8 triple11) -> (rule6 % int2)) triple9) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((((triple9 triple11) -> (rule5 % int4)) triple8 triple11) -> (rule6 % int3))) -> (rule2 % int2)) ((((triple9 triple11) -> (rule5 % int4)) triple8 triple11) -> (rule6 % int3)) triple9) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
((triple10 triple11 ((triple10 ((((triple9 triple11) -> (rule5 % int4)) triple8 triple11) -> (rule6 % int3)) triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4))) -> (rule2 % int3)) triple11 ((triple10 ((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4)) triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((triple10 triple11 ((((((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4)) triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4))) -> (rule2 % int3)) triple11 ((((((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4))) -> (rule2 % int3)) ((((triple9 triple11) -> (rule5 % int5)) triple8 triple11) -> (rule6 % int4)) triple9) -> (rule1 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
When you meet Dave you'll the two characteristics that will standout is that he's red but also rough.
Eric is a nice person who is red because he has a rash.
Fred is interestingly colored red and blue, and is also very kind.
Harry is young but big for his age and he's cold and red at the moment too.
Cold people,though green and red,tend to be rough.
People that feel green are cold to people that try to help them.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
A person being big and rough makes them cold towards others but that also means that they are kind.
All men who happen to be red and big, will also be blue.
A young person who is both big and blue is also someone who is green.