Red Alan is what folks call him, because he is quite red. Bob is colored blue and red. He is also kind and cold to the touch. That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Eric. Santa Claus is red and kind. He is also very nice, especially to children. When a person can be described as blue, rough and round, you can call them nice at the same time. Someone who is colored both in red and green, while being kind to others, is a round person. Show me someone who is cold and kind, and I'll show you how green they are. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. If you meet a kind green person with a round shape they will also be young. Blue and red people who are young always have rough skin.
Alan is red.
("Alan" "is" "red" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is red and kind then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and blue and rough then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and green and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and red and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green and round then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Bob is red.
True
1
proof
[(triple2)]
("Bob" "is" "red" "+")
triple2
Bob is not blue.
False
1
inv-proof
[(triple5)]
("Bob" "is" "blue" "-")
triple5
Bob is nice.
True
3
proof
[(((triple2 triple3) -> rule1) OR ((triple5 triple2 ((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3)) -> rule5) OR ((((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3) triple5 ((triple5 triple2 ((triple3 ((triple4 triple3) -> rule4) ((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3)) -> rule6)) -> rule7)) -> rule2))]
("Bob" "is" "nice" "+")
((triple2 triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple5 triple2 ((triple2 ((triple4 triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple2 ((triple4 triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4)) triple5 ((triple5 triple2 ((triple3 ((triple4 triple3) -> (rule4 % int5)) ((triple2 ((triple4 triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Eric is not green.
False
3
inv-proof
[(((triple10 triple9) -> rule4))]
("Eric" "is" "green" "-")
((triple10 triple9) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Bob is round.
True
6
proof
[(((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3))]
("Bob" "is" "round" "+")
((triple2 ((triple4 triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not round.
False
6
inv-proof
[(((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3))]
("Bob" "is" "round" "-")
((triple2 ((triple4 triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
True
11
proof
[(((triple3 ((triple4 triple3) -> rule4) ((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3)) -> rule6))]
("Bob" "is" "young" "+")
((triple3 ((triple4 triple3) -> (rule4 % int3)) ((triple2 ((triple4 triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not young.
False
11
inv-proof
[(((triple3 ((triple4 triple3) -> rule4) ((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3)) -> rule6))]
("Bob" "is" "young" "-")
((triple3 ((triple4 triple3) -> (rule4 % int3)) ((triple2 ((triple4 triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
True
14
proof
[(((triple5 triple2 ((triple3 ((triple4 triple3) -> rule4) ((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3)) -> rule6)) -> rule7))]
("Bob" "is" "rough" "+")
((triple5 triple2 ((triple3 ((triple4 triple3) -> (rule4 % int4)) ((triple2 ((triple4 triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is not rough.
False
14
inv-proof
[(((triple5 triple2 ((triple3 ((triple4 triple3) -> rule4) ((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3)) -> rule6)) -> rule7))]
("Bob" "is" "rough" "-")
((triple5 triple2 ((triple3 ((triple4 triple3) -> (rule4 % int4)) ((triple2 ((triple4 triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "green" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "rough" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Alan is cold.
Unknown
random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Alan is red.[(triple1)] Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is red.[(triple2)] Eric is blue.[(triple11)] Eric is cold.[(triple10)] Eric is kind.[(triple9)] Eric is red.[(triple8)] Eric is rough.[(triple7 OR ((triple11 triple8 ((triple9 ((triple10 triple9) -> rule4) triple6) -> rule6)) -> rule7) OR ((triple11 triple8 ((triple9 ((triple10 triple9) -> rule4) ((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3)) -> rule6)) -> rule7))] Eric is round.[(triple6 OR ((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3))] @1: Bob is green.[(((triple4 triple3) -> rule4))] Bob is nice.[(((triple2 triple3) -> rule1) OR ((triple5 triple2 ((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3)) -> rule5) OR ((((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3) triple5 ((triple5 triple2 ((triple3 ((triple4 triple3) -> rule4) ((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3)) -> rule6)) -> rule7)) -> rule2))] Eric is green.[(((triple10 triple9) -> rule4))] Eric is nice.[(((triple8 triple9) -> rule1) OR ((triple11 triple8 triple6) -> rule5) OR ((triple6 triple11 triple7) -> rule2) OR ((triple11 triple8 ((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3)) -> rule5) OR ((((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3) triple11 triple7) -> rule2) OR ((triple6 triple11 ((triple11 triple8 ((triple9 ((triple10 triple9) -> rule4) triple6) -> rule6)) -> rule7)) -> rule2) OR ((((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3) triple11 ((triple11 triple8 ((triple9 ((triple10 triple9) -> rule4) triple6) -> rule6)) -> rule7)) -> rule2) OR ((triple6 triple11 ((triple11 triple8 ((triple9 ((triple10 triple9) -> rule4) ((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3)) -> rule6)) -> rule7)) -> rule2) OR ((((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3) triple11 ((triple11 triple8 ((triple9 ((triple10 triple9) -> rule4) ((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3)) -> rule6)) -> rule7)) -> rule2))] @2: Bob is round.[(((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3))] Eric is young.[(((triple9 ((triple10 triple9) -> rule4) triple6) -> rule6) OR ((triple9 ((triple10 triple9) -> rule4) ((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3)) -> rule6))] @3: Bob is young.[(((triple3 ((triple4 triple3) -> rule4) ((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3)) -> rule6))] @4: Bob is rough.[(((triple5 triple2 ((triple3 ((triple4 triple3) -> rule4) ((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3)) -> rule6)) -> rule7))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Eric is blue.
("Eric" "is" "blue" "+")
triple11
Eric is cold.
("Eric" "is" "cold" "+")
triple10
Eric is kind.
("Eric" "is" "kind" "+")
triple9
Eric is red.
("Eric" "is" "red" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
((triple11 triple8 ((triple9 ((triple10 triple9) -> (rule4 % int3)) triple6) -> (rule6 % int2))) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((triple11 triple8 ((triple9 ((triple10 triple9) -> (rule4 % int4)) ((triple8 ((triple10 triple9) -> (rule4 % int4)) triple9) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is round.
("Eric" "is" "round" "+")
triple6
((triple8 ((triple10 triple9) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple4 triple3) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple5 triple2 ((triple2 ((triple4 triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple2 ((triple4 triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4)) triple5 ((triple5 triple2 ((triple3 ((triple4 triple3) -> (rule4 % int5)) ((triple2 ((triple4 triple3) -> (rule4 % int5)) triple3) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Eric is green.
("Eric" "is" "green" "+")
((triple10 triple9) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((triple8 triple9) -> (rule1 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
((triple11 triple8 triple6) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
((triple6 triple11 triple7) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
((triple11 triple8 ((triple8 ((triple10 triple9) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule5 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((((triple8 ((triple10 triple9) -> (rule4 % int3)) triple9) -> (rule3 % int2)) triple11 triple7) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
((triple6 triple11 ((triple11 triple8 ((triple9 ((triple10 triple9) -> (rule4 % int4)) triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
((((triple8 ((triple10 triple9) -> (rule4 % int5)) triple9) -> (rule3 % int4)) triple11 ((triple11 triple8 ((triple9 ((triple10 triple9) -> (rule4 % int5)) triple6) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is green.
("Eric" "is" "green" "+")
int5
((triple6 triple11 ((triple11 triple8 ((triple9 ((triple10 triple9) -> (rule4 % int5)) ((triple8 ((triple10 triple9) -> (rule4 % int5)) triple9) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is green.
("Eric" "is" "green" "+")
int5
((((triple8 ((triple10 triple9) -> (rule4 % int5)) triple9) -> (rule3 % int4)) triple11 ((triple11 triple8 ((triple9 ((triple10 triple9) -> (rule4 % int5)) ((triple8 ((triple10 triple9) -> (rule4 % int5)) triple9) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is green.
("Eric" "is" "green" "+")
int5
Bob is round.
("Bob" "is" "round" "+")
((triple2 ((triple4 triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((triple9 ((triple10 triple9) -> (rule4 % int2)) triple6) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
((triple9 ((triple10 triple9) -> (rule4 % int3)) ((triple8 ((triple10 triple9) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule6 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((triple3 ((triple4 triple3) -> (rule4 % int3)) ((triple2 ((triple4 triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((triple5 triple2 ((triple3 ((triple4 triple3) -> (rule4 % int4)) ((triple2 ((triple4 triple3) -> (rule4 % int4)) triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Red Alan is what folks call him, because he is quite red.
Bob is colored blue and red; He is also kind and cold to the touch.
That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Eric.
Santa Claus is red and kind; He is also very nice, especially to children.
When a person can be described as blue, rough and round, you can call them nice at the same time.
Someone who is colored both in red and green, while being kind to others, is a round person.
Show me someone who is cold and kind, and I'll show you how green they are.
If you meet someone who is red and blue with a round shape, you can count on them being nice to you.
If you meet a kind green person with a round shape they will also be young.
Blue and red people who are young always have rough skin.