Alan is green and young, but he is also kind. He has blue eyes and red hair. Bob who is considered nice was feeling rather rough today. That man standing next to you with a big round body goes by the name of Charlie. Fred is blue from ink he spilled on himself while being kind and helping some children paint. Any green person is a round person. Anybody that is big is also someone who is going to be blue. Young people with red, flushed cheeks who are rough around the edges are really quite nice. Young, kind people have the trait of being cold and are also very nice to interact with. People who are described as young, green, and big are often considered rough. An individual with green, blue and big characteristics will also be rough. A person that is green also someone who is big.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and young and rough then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and young and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and green and young then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and blue and big then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Bob is nice.
True
1
proof
[(triple7)]
("Bob" "is" "nice" "+")
triple7
Bob is not nice.
False
1
inv-proof
[(triple7)]
("Bob" "is" "nice" "-")
triple7
Alan is big.
True
2
proof
[(((triple4) -> rule7))]
("Alan" "is" "big" "+")
((triple4) -> (rule7 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Charlie is not blue.
False
2
inv-proof
[(((triple9) -> rule2))]
("Charlie" "is" "blue" "-")
((triple9) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Alan is rough.
True
5
proof
[(((triple4 triple5 ((triple4) -> rule7)) -> rule6) OR ((((triple4) -> rule7) triple4 triple1) -> rule5) OR ((triple4 ((((triple4) -> rule7)) -> rule2) ((triple4) -> rule7)) -> rule6))]
("Alan" "is" "rough" "+")
((triple4 triple5 ((triple4) -> (rule7 % int2))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
((((triple4) -> (rule7 % int2)) triple4 triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
((triple4 ((((triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((triple4) -> (rule7 % int3))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is not rough.
False
5
inv-proof
[(((triple4 triple5 ((triple4) -> rule7)) -> rule6) OR ((((triple4) -> rule7) triple4 triple1) -> rule5) OR ((triple4 ((((triple4) -> rule7)) -> rule2) ((triple4) -> rule7)) -> rule6))]
("Alan" "is" "rough" "-")
((triple4 triple5 ((triple4) -> (rule7 % int2))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
((((triple4) -> (rule7 % int2)) triple4 triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
((triple4 ((((triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((triple4) -> (rule7 % int3))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is nice.
True
8
proof
[(((triple2 triple1 ((triple4 triple5 ((triple4) -> rule7)) -> rule6)) -> rule3) OR ((triple2 triple1 ((((triple4) -> rule7) triple4 triple1) -> rule5)) -> rule3) OR ((triple2 triple1 ((triple4 ((((triple4) -> rule7)) -> rule2) ((triple4) -> rule7)) -> rule6)) -> rule3))]
("Alan" "is" "nice" "+")
((triple2 triple1 ((triple4 triple5 ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((triple2 triple1 ((((triple4) -> (rule7 % int3)) triple4 triple1) -> (rule5 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((triple2 triple1 ((triple4 ((((triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((triple4) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is not nice.
False
8
inv-proof
[(((triple2 triple1 ((triple4 triple5 ((triple4) -> rule7)) -> rule6)) -> rule3) OR ((triple2 triple1 ((((triple4) -> rule7) triple4 triple1) -> rule5)) -> rule3) OR ((triple2 triple1 ((triple4 ((((triple4) -> rule7)) -> rule2) ((triple4) -> rule7)) -> rule6)) -> rule3))]
("Alan" "is" "nice" "-")
((triple2 triple1 ((triple4 triple5 ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((triple2 triple1 ((((triple4) -> (rule7 % int3)) triple4 triple1) -> (rule5 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((triple2 triple1 ((triple4 ((((triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((triple4) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "nice" "-")
Bob is blue.
Unknown
rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Bob" "is" "blue" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "rough" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "rough" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Alan is blue.[(triple5 OR ((((triple4) -> rule7)) -> rule2))] Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is young.[(triple1)] Bob is nice.[(triple7)] Bob is rough.[(triple6)] Charlie is big.[(triple9)] Charlie is round.[(triple8)] Fred is blue.[(triple11)] Fred is kind.[(triple10)] @1: Alan is big.[(((triple4) -> rule7))] Alan is round.[(((triple4) -> rule1))] Charlie is blue.[(((triple9) -> rule2))] @2: Alan is rough.[(((triple4 triple5 ((triple4) -> rule7)) -> rule6) OR ((((triple4) -> rule7) triple4 triple1) -> rule5) OR ((triple4 ((((triple4) -> rule7)) -> rule2) ((triple4) -> rule7)) -> rule6))] @3: Alan is nice.[(((triple2 triple1 ((triple4 triple5 ((triple4) -> rule7)) -> rule6)) -> rule3) OR ((triple2 triple1 ((((triple4) -> rule7) triple4 triple1) -> rule5)) -> rule3) OR ((triple2 triple1 ((triple4 ((((triple4) -> rule7)) -> rule2) ((triple4) -> rule7)) -> rule6)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple5
((((triple4) -> (rule7 % int2))) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Charlie is big.
("Charlie" "is" "big" "+")
triple9
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is kind.
("Fred" "is" "kind" "+")
triple10
Alan is big.
("Alan" "is" "big" "+")
((triple4) -> (rule7 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((triple4) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple9) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple4 triple5 ((triple4) -> (rule7 % int2))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
((((triple4) -> (rule7 % int2)) triple4 triple1) -> (rule5 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
int2
((triple4 ((((triple4) -> (rule7 % int3))) -> (rule2 % int2)) ((triple4) -> (rule7 % int3))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
Alan is nice.
("Alan" "is" "nice" "+")
((triple2 triple1 ((triple4 triple5 ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((triple2 triple1 ((((triple4) -> (rule7 % int3)) triple4 triple1) -> (rule5 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
int3
((triple2 triple1 ((triple4 ((((triple4) -> (rule7 % int4))) -> (rule2 % int3)) ((triple4) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is blue.
("Alan" "is" "blue" "+")
int3
Alan is big.
("Alan" "is" "big" "+")
int4
Alan is green and young, but he is also kind; He has blue eyes and red hair.
Bob who is considered nice was feeling rather rough today.
That man standing next to you with a big round body goes by the name of Charlie.
Fred is blue from ink he spilled on himself while being kind and helping some children paint.
Any green person is a round person.
Anybody that is big is also someone who is going to be blue.
Young people with red, flushed cheeks who are rough around the edges are really quite nice.
Young, kind people have the trait of being cold and are also very nice to interact with.
People who are described as young, green, and big are often considered rough.
An individual with green, blue and big characteristics will also be rough.
A person that is green also someone who is big.