Alan is rough, but often feels blue. He is pretty young. Bob is cold with rough red skin. Bob is big but is also kind. Eric is very nice to people, but he's also rather big. Cold and rough people will also surely be round shaped. Cold, red people are generally kind and big. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. Someone can be young, big, and cold but green. People who are rough are often rather kind as well. People who are rough and cold, but also nice, are considered green. Round, nice people are normally cold and nasty.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
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 big and round and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold and big then they are green.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and cold and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is round and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Bob is rough.
True
1
proof
[(triple4)]
("Bob" "is" "rough" "+")
triple4
Bob is not rough.
False
1
inv-proof
[(triple4)]
("Bob" "is" "rough" "-")
triple4
Alan is kind.
True
2
proof
[(((triple2) -> rule5))]
("Alan" "is" "kind" "+")
((triple2) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is not kind.
False
2
inv-proof
[(((triple2) -> rule5))]
("Alan" "is" "kind" "-")
((triple2) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Bob is nice.
True
6
proof
[(((triple8 ((triple7 triple4) -> rule1) triple5) -> rule3) OR ((((triple6 triple5 triple7) -> rule2) ((triple7 triple4) -> rule1) triple5) -> rule3) OR ((((((triple4) -> rule5) triple5 triple7) -> rule2) ((triple7 triple4) -> rule1) triple5) -> rule3))]
("Bob" "is" "nice" "+")
((triple8 ((triple7 triple4) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple6 triple5 triple7) -> (rule2 % int3)) ((triple7 triple4) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple4) -> (rule5 % int4)) triple5 triple7) -> (rule2 % int3)) ((triple7 triple4) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is not nice.
False
6
inv-proof
[(((triple8 ((triple7 triple4) -> rule1) triple5) -> rule3) OR ((((triple6 triple5 triple7) -> rule2) ((triple7 triple4) -> rule1) triple5) -> rule3) OR ((((((triple4) -> rule5) triple5 triple7) -> rule2) ((triple7 triple4) -> rule1) triple5) -> rule3))]
("Bob" "is" "nice" "-")
((triple8 ((triple7 triple4) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple6 triple5 triple7) -> (rule2 % int3)) ((triple7 triple4) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple4) -> (rule5 % int4)) triple5 triple7) -> (rule2 % int3)) ((triple7 triple4) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is green.
True
9
proof
[(((triple4 triple7 ((triple8 ((triple7 triple4) -> rule1) triple5) -> rule3)) -> rule6) OR ((triple4 triple7 ((((triple6 triple5 triple7) -> rule2) ((triple7 triple4) -> rule1) triple5) -> rule3)) -> rule6) OR ((triple4 triple7 ((((((triple4) -> rule5) triple5 triple7) -> rule2) ((triple7 triple4) -> rule1) triple5) -> rule3)) -> rule6))]
("Bob" "is" "green" "+")
((triple4 triple7 ((triple8 ((triple7 triple4) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple4 triple7 ((((triple6 triple5 triple7) -> (rule2 % int4)) ((triple7 triple4) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((triple4 triple7 ((((((triple4) -> (rule5 % int5)) triple5 triple7) -> (rule2 % int4)) ((triple7 triple4) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is not green.
False
9
inv-proof
[(((triple4 triple7 ((triple8 ((triple7 triple4) -> rule1) triple5) -> rule3)) -> rule6) OR ((triple4 triple7 ((((triple6 triple5 triple7) -> rule2) ((triple7 triple4) -> rule1) triple5) -> rule3)) -> rule6) OR ((triple4 triple7 ((((((triple4) -> rule5) triple5 triple7) -> rule2) ((triple7 triple4) -> rule1) triple5) -> rule3)) -> rule6))]
("Bob" "is" "green" "-")
((triple4 triple7 ((triple8 ((triple7 triple4) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple4 triple7 ((((triple6 triple5 triple7) -> (rule2 % int4)) ((triple7 triple4) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((triple4 triple7 ((((((triple4) -> (rule5 % int5)) triple5 triple7) -> (rule2 % int4)) ((triple7 triple4) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Eric is not cold.
Unknown
inv-rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Eric" "is" "cold" "-")
Alan is big.
Unknown
rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "big" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "nice" "-")
Alan is cold.
Unknown
rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Alan" "is" "cold" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
@0: Alan is blue.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple8 OR ((triple6 triple5 triple7) -> rule2) OR ((((triple4) -> rule5) triple5 triple7) -> rule2))] Bob is cold.[(triple7)] Bob is kind.[(triple6 OR ((triple4) -> rule5))] Bob is red.[(triple5)] Bob is rough.[(triple4)] Eric is big.[(triple10)] Eric is nice.[(triple9)] @1: Alan is kind.[(((triple2) -> rule5))] Bob is round.[(((triple7 triple4) -> rule1))] @2: Bob is nice.[(((triple8 ((triple7 triple4) -> rule1) triple5) -> rule3) OR ((((triple6 triple5 triple7) -> rule2) ((triple7 triple4) -> rule1) triple5) -> rule3) OR ((((((triple4) -> rule5) triple5 triple7) -> rule2) ((triple7 triple4) -> rule1) triple5) -> rule3))] @3: Bob is green.[(((triple4 triple7 ((triple8 ((triple7 triple4) -> rule1) triple5) -> rule3)) -> rule6) OR ((triple4 triple7 ((((triple6 triple5 triple7) -> rule2) ((triple7 triple4) -> rule1) triple5) -> rule3)) -> rule6) OR ((triple4 triple7 ((((((triple4) -> rule5) triple5 triple7) -> rule2) ((triple7 triple4) -> rule1) triple5) -> rule3)) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple8
((triple6 triple5 triple7) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple4) -> (rule5 % int2)) triple5 triple7) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
triple6
((triple4) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple10
Eric is nice.
("Eric" "is" "nice" "+")
triple9
Alan is kind.
("Alan" "is" "kind" "+")
((triple2) -> (rule5 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple7 triple4) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple8 ((triple7 triple4) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple6 triple5 triple7) -> (rule2 % int3)) ((triple7 triple4) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((((triple4) -> (rule5 % int4)) triple5 triple7) -> (rule2 % int3)) ((triple7 triple4) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
((triple4 triple7 ((triple8 ((triple7 triple4) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple4 triple7 ((((triple6 triple5 triple7) -> (rule2 % int4)) ((triple7 triple4) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((triple4 triple7 ((((((triple4) -> (rule5 % int5)) triple5 triple7) -> (rule2 % int4)) ((triple7 triple4) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Alan is rough, but often feels blue; He is pretty young.
Bob is cold with rough red skin; Bob is big but is also kind.
Eric is very nice to people, but he's also rather big.
Cold and rough people will also surely be round shaped.
Cold, red people are generally kind and big.
If a big, red person with a round figure comes up to you, don't worry, they will be very nice.
Someone can be young, big, and cold but green.
People who are rough are often rather kind as well.
People who are rough and cold, but also nice, are considered green.
Round, nice people are normally cold and nasty.