Alan, a green man, was also big, but underneath he was kind. It's easy to tell that Bob is young because he is so round. Even though he is kind it makes him green with envy of some people. Charlie is both young and fairly round in size. That man standing next to you with a big round body goes by the name of Harry. A blue person who is feeling a bit rough and cold will be wearing red. Whenever you are around kind and green people, you will notice they are very red. A person that is nice and young is also going to be a person that is rough. Cold, red people are generally kind and big. A red, round male or female will also be a nice male or female. Someone who is kind and young with a round figure will always be red too. Round, nice people are normally cold and nasty.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue and cold and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
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 round then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and young and kind then they are red.
((("someone" "is" "round" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is round and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Alan is big.
True
1
proof
[(triple3)]
("Alan" "is" "big" "+")
triple3
Bob is not kind.
False
1
inv-proof
[(triple6)]
("Bob" "is" "kind" "-")
triple6
Bob is red.
True
3
proof
[(((triple6 triple7) -> rule2) OR ((triple5 triple4 triple6) -> rule6))]
("Bob" "is" "red" "+")
((triple6 triple7) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple5 triple4 triple6) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not red.
False
3
inv-proof
[(((triple6 triple7) -> rule2) OR ((triple5 triple4 triple6) -> rule6))]
("Bob" "is" "red" "-")
((triple6 triple7) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple5 triple4 triple6) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
True
5
proof
[(((((triple6 triple7) -> rule2) triple5) -> rule5) OR ((((triple5 triple4 triple6) -> rule6) triple5) -> rule5))]
("Bob" "is" "nice" "+")
((((triple6 triple7) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple5 triple4 triple6) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not nice.
False
5
inv-proof
[(((((triple6 triple7) -> rule2) triple5) -> rule5) OR ((((triple5 triple4 triple6) -> rule6) triple5) -> rule5))]
("Bob" "is" "nice" "-")
((((triple6 triple7) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple5 triple4 triple6) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
True
7
proof
[(((triple5 ((((triple6 triple7) -> rule2) triple5) -> rule5)) -> rule7) OR ((triple5 ((((triple5 triple4 triple6) -> rule6) triple5) -> rule5)) -> rule7))]
("Bob" "is" "cold" "+")
((triple5 ((((triple6 triple7) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple5 ((((triple5 triple4 triple6) -> (rule6 % int3)) triple5) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not cold.
False
7
inv-proof
[(((triple5 ((((triple6 triple7) -> rule2) triple5) -> rule5)) -> rule7) OR ((triple5 ((((triple5 triple4 triple6) -> rule6) triple5) -> rule5)) -> rule7))]
("Bob" "is" "cold" "-")
((triple5 ((((triple6 triple7) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple5 ((((triple5 triple4 triple6) -> (rule6 % int3)) triple5) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
True
12
proof
[(((triple6 ((triple6 triple7) -> rule2) ((triple5 ((((triple6 triple7) -> rule2) triple5) -> rule5)) -> rule7)) -> rule4) OR ((triple6 ((triple6 triple7) -> rule2) ((triple5 ((((triple5 triple4 triple6) -> rule6) triple5) -> rule5)) -> rule7)) -> rule4) OR ((triple6 ((triple5 triple4 triple6) -> rule6) ((triple5 ((((triple6 triple7) -> rule2) triple5) -> rule5)) -> rule7)) -> rule4) OR ((triple6 ((triple5 triple4 triple6) -> rule6) ((triple5 ((((triple5 triple4 triple6) -> rule6) triple5) -> rule5)) -> rule7)) -> rule4))]
("Bob" "is" "big" "+")
((triple6 ((triple6 triple7) -> (rule2 % int4)) ((triple5 ((((triple6 triple7) -> (rule2 % int4)) triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple6 ((triple6 triple7) -> (rule2 % int4)) ((triple5 ((((triple5 triple4 triple6) -> (rule6 % int4)) triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple6 ((triple5 triple4 triple6) -> (rule6 % int4)) ((triple5 ((((triple6 triple7) -> (rule2 % int4)) triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple6 ((triple5 triple4 triple6) -> (rule6 % int4)) ((triple5 ((((triple5 triple4 triple6) -> (rule6 % int4)) triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is not big.
False
12
inv-proof
[(((triple6 ((triple6 triple7) -> rule2) ((triple5 ((((triple6 triple7) -> rule2) triple5) -> rule5)) -> rule7)) -> rule4) OR ((triple6 ((triple6 triple7) -> rule2) ((triple5 ((((triple5 triple4 triple6) -> rule6) triple5) -> rule5)) -> rule7)) -> rule4) OR ((triple6 ((triple5 triple4 triple6) -> rule6) ((triple5 ((((triple6 triple7) -> rule2) triple5) -> rule5)) -> rule7)) -> rule4) OR ((triple6 ((triple5 triple4 triple6) -> rule6) ((triple5 ((((triple5 triple4 triple6) -> rule6) triple5) -> rule5)) -> rule7)) -> rule4))]
("Bob" "is" "big" "-")
((triple6 ((triple6 triple7) -> (rule2 % int4)) ((triple5 ((((triple6 triple7) -> (rule2 % int4)) triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple6 ((triple6 triple7) -> (rule2 % int4)) ((triple5 ((((triple5 triple4 triple6) -> (rule6 % int4)) triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple6 ((triple5 triple4 triple6) -> (rule6 % int4)) ((triple5 ((((triple6 triple7) -> (rule2 % int4)) triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple6 ((triple5 triple4 triple6) -> (rule6 % int4)) ((triple5 ((((triple5 triple4 triple6) -> (rule6 % int4)) triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Charlie is not rough.
Unknown
inv-rconc
[@3: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- rule5 <- rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "cold" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Alan is rough.
Unknown
rconc
[@1: Alan is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "rough" "+")
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Alan is big.[(triple3)] Alan is green.[(triple2)] Alan is kind.[(triple1)] Bob is green.[(triple7)] Bob is kind.[(triple6)] Bob is round.[(triple5)] Bob is young.[(triple4)] Charlie is round.[(triple9)] Charlie is young.[(triple8)] Harry is big.[(triple11)] Harry is round.[(triple10)] @1: Alan is red.[(((triple1 triple2) -> rule2))] Bob is red.[(((triple6 triple7) -> rule2) OR ((triple5 triple4 triple6) -> rule6))] @2: Bob is nice.[(((((triple6 triple7) -> rule2) triple5) -> rule5) OR ((((triple5 triple4 triple6) -> rule6) triple5) -> rule5))] @3: Bob is cold.[(((triple5 ((((triple6 triple7) -> rule2) triple5) -> rule5)) -> rule7) OR ((triple5 ((((triple5 triple4 triple6) -> rule6) triple5) -> rule5)) -> rule7))] Bob is rough.[(((((((triple6 triple7) -> rule2) triple5) -> rule5) triple4) -> rule3) OR ((((((triple5 triple4 triple6) -> rule6) triple5) -> rule5) triple4) -> rule3))] @4: Bob is big.[(((triple6 ((triple6 triple7) -> rule2) ((triple5 ((((triple6 triple7) -> rule2) triple5) -> rule5)) -> rule7)) -> rule4) OR ((triple6 ((triple6 triple7) -> rule2) ((triple5 ((((triple5 triple4 triple6) -> rule6) triple5) -> rule5)) -> rule7)) -> rule4) OR ((triple6 ((triple5 triple4 triple6) -> rule6) ((triple5 ((((triple6 triple7) -> rule2) triple5) -> rule5)) -> rule7)) -> rule4) OR ((triple6 ((triple5 triple4 triple6) -> rule6) ((triple5 ((((triple5 triple4 triple6) -> rule6) triple5) -> rule5)) -> rule7)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Alan is red.
("Alan" "is" "red" "+")
((triple1 triple2) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple6 triple7) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple5 triple4 triple6) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple6 triple7) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple5 triple4 triple6) -> (rule6 % int2)) triple5) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((triple5 ((((triple6 triple7) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple5 ((((triple5 triple4 triple6) -> (rule6 % int3)) triple5) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((((((triple6 triple7) -> (rule2 % int3)) triple5) -> (rule5 % int2)) triple4) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple5 triple4 triple6) -> (rule6 % int3)) triple5) -> (rule5 % int2)) triple4) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
((triple6 ((triple6 triple7) -> (rule2 % int4)) ((triple5 ((((triple6 triple7) -> (rule2 % int4)) triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple6 ((triple6 triple7) -> (rule2 % int4)) ((triple5 ((((triple5 triple4 triple6) -> (rule6 % int4)) triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple6 ((triple5 triple4 triple6) -> (rule6 % int4)) ((triple5 ((((triple6 triple7) -> (rule2 % int4)) triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple6 ((triple5 triple4 triple6) -> (rule6 % int4)) ((triple5 ((((triple5 triple4 triple6) -> (rule6 % int4)) triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Alan, a green man, was also big, but underneath he was kind.
It's easy to tell that Bob is young because he is so round; Even though he is kind it makes him green with envy of some people.
Charlie is both young and fairly round in size.
That man standing next to you with a big round body goes by the name of Harry.
A blue person who is feeling a bit rough and cold will be wearing red.
Whenever you are around kind and green people, you will notice they are very red.
A person that is nice and young is also going to be a person that is rough.
Cold, red people are generally kind and big.
A red, round male or female will also be a nice male or female.
Someone who is kind and young with a round figure will always be red too.
Round, nice people are normally cold and nasty.