Bob is so young and darling he is kind to all the old people on the block. Eric looks red to most people, with blue features. Harry has a big round body which makes him feel blue about how rough he looks and fills him with red anger. Nice people that are blue because they are cold turn green with envy. Being a young, round and kind individual means that you are also a blue individual. If you are green you are also kind. Cold, red people are generally kind and big. If someone has a red complexion that is rough and feels blue then you'll see they are rather nice. A nice and kind natured person that is big in shape will be rough. A person who is round and nice is cold.
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue and nice and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is young and round and kind then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is red and rough and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and big and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and round then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Eric is red.
True
1
proof
[(triple3)]
("Eric" "is" "red" "+")
triple3
Harry is not rough.
False
1
inv-proof
[(triple6)]
("Harry" "is" "rough" "-")
triple6
Harry is nice.
True
4
proof
[(((triple7 triple6 triple8) -> rule5))]
("Harry" "is" "nice" "+")
((triple7 triple6 triple8) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
4
inv-proof
[(((triple7 triple6 triple8) -> rule5))]
("Harry" "is" "nice" "-")
((triple7 triple6 triple8) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
True
6
proof
[(((((triple7 triple6 triple8) -> rule5) triple5) -> rule7))]
("Harry" "is" "cold" "+")
((((triple7 triple6 triple8) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not cold.
False
6
inv-proof
[(((((triple7 triple6 triple8) -> rule5) triple5) -> rule7))]
("Harry" "is" "cold" "-")
((((triple7 triple6 triple8) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
True
12
proof
[(((triple8 ((triple7 triple6 triple8) -> rule5) ((((triple7 triple6 triple8) -> rule5) triple5) -> rule7)) -> rule1))]
("Harry" "is" "green" "+")
((triple8 ((triple7 triple6 triple8) -> (rule5 % int3)) ((((triple7 triple6 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not green.
False
12
inv-proof
[(((triple8 ((triple7 triple6 triple8) -> rule5) ((((triple7 triple6 triple8) -> rule5) triple5) -> rule7)) -> rule1))]
("Harry" "is" "green" "-")
((triple8 ((triple7 triple6 triple8) -> (rule5 % int3)) ((((triple7 triple6 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
True
13
proof
[(((((triple8 ((triple7 triple6 triple8) -> rule5) ((((triple7 triple6 triple8) -> rule5) triple5) -> rule7)) -> rule1)) -> rule3))]
("Harry" "is" "kind" "+")
((((triple8 ((triple7 triple6 triple8) -> (rule5 % int4)) ((((triple7 triple6 triple8) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is not kind.
False
13
inv-proof
[(((((triple8 ((triple7 triple6 triple8) -> rule5) ((((triple7 triple6 triple8) -> rule5) triple5) -> rule7)) -> rule1)) -> rule3))]
("Harry" "is" "kind" "-")
((((triple8 ((triple7 triple6 triple8) -> (rule5 % int4)) ((((triple7 triple6 triple8) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Charlie is not green.
Unknown
inv-rconc
[@2: Charlie is green.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "green" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "cold" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is kind.
Unknown
rconc
[@3: Charlie is kind.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "kind" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "big" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Bob is kind.[(triple2)] Bob is young.[(triple1)] Eric is blue.[(triple4)] Eric is red.[(triple3)] Harry is big.[(triple9 OR ((((((triple8 ((triple7 triple6 triple8) -> rule5) ((((triple7 triple6 triple8) -> rule5) triple5) -> rule7)) -> rule1)) -> rule3) triple7 ((((triple7 triple6 triple8) -> rule5) triple5) -> rule7)) -> rule4))] Harry is blue.[(triple8)] Harry is red.[(triple7)] Harry is rough.[(triple6)] Harry is round.[(triple5)] @1: Harry is nice.[(((triple7 triple6 triple8) -> rule5))] @2: Harry is cold.[(((((triple7 triple6 triple8) -> rule5) triple5) -> rule7))] @3: Harry is green.[(((triple8 ((triple7 triple6 triple8) -> rule5) ((((triple7 triple6 triple8) -> rule5) triple5) -> rule7)) -> rule1))] @4: Harry is kind.[(((((triple8 ((triple7 triple6 triple8) -> rule5) ((((triple7 triple6 triple8) -> rule5) triple5) -> rule7)) -> rule1)) -> rule3))]
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple9
((((((triple8 ((triple7 triple6 triple8) -> (rule5 % int5)) ((((triple7 triple6 triple8) -> (rule5 % int5)) triple5) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule3 % int2)) triple7 ((((triple7 triple6 triple8) -> (rule5 % int5)) triple5) -> (rule7 % int4))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
((triple7 triple6 triple8) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((((triple7 triple6 triple8) -> (rule5 % int2)) triple5) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((triple8 ((triple7 triple6 triple8) -> (rule5 % int3)) ((((triple7 triple6 triple8) -> (rule5 % int3)) triple5) -> (rule7 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((((triple8 ((triple7 triple6 triple8) -> (rule5 % int4)) ((((triple7 triple6 triple8) -> (rule5 % int4)) triple5) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Bob is so young and darling he is kind to all the old people on the block.
Eric looks red to most people, with blue features.
Harry has a big round body which makes him feel blue about how rough he looks and fills him with red anger.
Nice people that are blue because they are cold turn green with envy.
Being a young, round and kind individual means that you are also a blue individual.
If you are green you are also kind.
Cold, red people are generally kind and big.
If someone has a red complexion that is rough and feels blue then you'll see they are rather nice.
A nice and kind natured person that is big in shape will be rough.
A person who is round and nice is cold.