Young Bob is wearing green pants. Eric is a young guy who is also round, red, kind, cold and blue. Even though he's a big dude, Fred is cold. A cold temperatured and green colored person who is also big will be young. Red, kind, young people will be rough people, too. People who are rough around the edges, nice, and a bit blue are young. Anyone perceived to be rough, cold and kind will also be nice. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color. Young people who are nice and cold, are rather green. Young, kind people with a round body shape can be cold to strangers.
Bob is young.
("Bob" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is big and green and cold then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is young and kind and red then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and nice and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and cold and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and cold and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and young and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and young and round then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Eric is cold.
True
1
proof
[(triple7 OR ((triple6 triple3 triple4) -> rule7))]
("Eric" "is" "cold" "+")
triple7
((triple6 triple3 triple4) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is not blue.
False
1
inv-proof
[(triple8)]
("Eric" "is" "blue" "-")
triple8
Eric is rough.
True
4
proof
[(((triple3 triple6 triple5) -> rule2))]
("Eric" "is" "rough" "+")
((triple3 triple6 triple5) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is not rough.
False
4
inv-proof
[(((triple3 triple6 triple5) -> rule2))]
("Eric" "is" "rough" "-")
((triple3 triple6 triple5) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
True
7
proof
[(((((triple3 triple6 triple5) -> rule2) triple7 triple6) -> rule4) OR ((((triple3 triple6 triple5) -> rule2) ((triple6 triple3 triple4) -> rule7) triple6) -> rule4))]
("Eric" "is" "nice" "+")
((((triple3 triple6 triple5) -> (rule2 % int2)) triple7 triple6) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
((((triple3 triple6 triple5) -> (rule2 % int3)) ((triple6 triple3 triple4) -> (rule7 % int2)) triple6) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not nice.
False
7
inv-proof
[(((((triple3 triple6 triple5) -> rule2) triple7 triple6) -> rule4) OR ((((triple3 triple6 triple5) -> rule2) ((triple6 triple3 triple4) -> rule7) triple6) -> rule4))]
("Eric" "is" "nice" "-")
((((triple3 triple6 triple5) -> (rule2 % int2)) triple7 triple6) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
((((triple3 triple6 triple5) -> (rule2 % int3)) ((triple6 triple3 triple4) -> (rule7 % int2)) triple6) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is green.
True
10
proof
[(((((((triple3 triple6 triple5) -> rule2) triple7 triple6) -> rule4) triple3 triple7) -> rule6) OR ((((((triple3 triple6 triple5) -> rule2) triple7 triple6) -> rule4) triple3 ((triple6 triple3 triple4) -> rule7)) -> rule6) OR ((((((triple3 triple6 triple5) -> rule2) ((triple6 triple3 triple4) -> rule7) triple6) -> rule4) triple3 triple7) -> rule6) OR ((((((triple3 triple6 triple5) -> rule2) ((triple6 triple3 triple4) -> rule7) triple6) -> rule4) triple3 ((triple6 triple3 triple4) -> rule7)) -> rule6))]
("Eric" "is" "green" "+")
((((((triple3 triple6 triple5) -> (rule2 % int3)) triple7 triple6) -> (rule4 % int2)) triple3 triple7) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
((((((triple3 triple6 triple5) -> (rule2 % int4)) triple7 triple6) -> (rule4 % int3)) triple3 ((triple6 triple3 triple4) -> (rule7 % int2))) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
((((((triple3 triple6 triple5) -> (rule2 % int4)) ((triple6 triple3 triple4) -> (rule7 % int3)) triple6) -> (rule4 % int2)) triple3 triple7) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
((((((triple3 triple6 triple5) -> (rule2 % int4)) ((triple6 triple3 triple4) -> (rule7 % int3)) triple6) -> (rule4 % int2)) triple3 ((triple6 triple3 triple4) -> (rule7 % int3))) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
Eric is not green.
False
10
inv-proof
[(((((((triple3 triple6 triple5) -> rule2) triple7 triple6) -> rule4) triple3 triple7) -> rule6) OR ((((((triple3 triple6 triple5) -> rule2) triple7 triple6) -> rule4) triple3 ((triple6 triple3 triple4) -> rule7)) -> rule6) OR ((((((triple3 triple6 triple5) -> rule2) ((triple6 triple3 triple4) -> rule7) triple6) -> rule4) triple3 triple7) -> rule6) OR ((((((triple3 triple6 triple5) -> rule2) ((triple6 triple3 triple4) -> rule7) triple6) -> rule4) triple3 ((triple6 triple3 triple4) -> rule7)) -> rule6))]
("Eric" "is" "green" "-")
((((((triple3 triple6 triple5) -> (rule2 % int3)) triple7 triple6) -> (rule4 % int2)) triple3 triple7) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
((((((triple3 triple6 triple5) -> (rule2 % int4)) triple7 triple6) -> (rule4 % int3)) triple3 ((triple6 triple3 triple4) -> (rule7 % int2))) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
((((((triple3 triple6 triple5) -> (rule2 % int4)) ((triple6 triple3 triple4) -> (rule7 % int3)) triple6) -> (rule4 % int2)) triple3 triple7) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
((((((triple3 triple6 triple5) -> (rule2 % int4)) ((triple6 triple3 triple4) -> (rule7 % int3)) triple6) -> (rule4 % int2)) triple3 ((triple6 triple3 triple4) -> (rule7 % int3))) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "-")
Fred is green.
Unknown
rconc
[@2: Fred is green.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Fred" "is" "green" "+")
Fred is not young.
Unknown
inv-rconc
[@3: Fred is young.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule4 <- FAIL)]]
("Fred" "is" "young" "-")
Dave is green.
Unknown
rconc
[@2: Dave is green.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Dave" "is" "green" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is green.[(triple2)] Bob is young.[(triple1)] Eric is blue.[(triple8)] Eric is cold.[(triple7 OR ((triple6 triple3 triple4) -> rule7))] Eric is kind.[(triple6)] Eric is red.[(triple5)] Eric is round.[(triple4)] Eric is young.[(triple3)] Fred is big.[(triple10)] Fred is cold.[(triple9)] @1: Eric is rough.[(((triple3 triple6 triple5) -> rule2))] @2: Eric is nice.[(((((triple3 triple6 triple5) -> rule2) triple7 triple6) -> rule4) OR ((((triple3 triple6 triple5) -> rule2) ((triple6 triple3 triple4) -> rule7) triple6) -> rule4))] @3: Eric is green.[(((((((triple3 triple6 triple5) -> rule2) triple7 triple6) -> rule4) triple3 triple7) -> rule6) OR ((((((triple3 triple6 triple5) -> rule2) triple7 triple6) -> rule4) triple3 ((triple6 triple3 triple4) -> rule7)) -> rule6) OR ((((((triple3 triple6 triple5) -> rule2) ((triple6 triple3 triple4) -> rule7) triple6) -> rule4) triple3 triple7) -> rule6) OR ((((((triple3 triple6 triple5) -> rule2) ((triple6 triple3 triple4) -> rule7) triple6) -> rule4) triple3 ((triple6 triple3 triple4) -> rule7)) -> rule6))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple7
((triple6 triple3 triple4) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
((triple3 triple6 triple5) -> (rule2 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((((triple3 triple6 triple5) -> (rule2 % int2)) triple7 triple6) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
((((triple3 triple6 triple5) -> (rule2 % int3)) ((triple6 triple3 triple4) -> (rule7 % int2)) triple6) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
((((((triple3 triple6 triple5) -> (rule2 % int3)) triple7 triple6) -> (rule4 % int2)) triple3 triple7) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
((((((triple3 triple6 triple5) -> (rule2 % int4)) triple7 triple6) -> (rule4 % int3)) triple3 ((triple6 triple3 triple4) -> (rule7 % int2))) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
((((((triple3 triple6 triple5) -> (rule2 % int4)) ((triple6 triple3 triple4) -> (rule7 % int3)) triple6) -> (rule4 % int2)) triple3 triple7) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
((((((triple3 triple6 triple5) -> (rule2 % int4)) ((triple6 triple3 triple4) -> (rule7 % int3)) triple6) -> (rule4 % int2)) triple3 ((triple6 triple3 triple4) -> (rule7 % int3))) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is rough.
("Eric" "is" "rough" "+")
int4
Young Bob is wearing green pants.
Eric is a young guy who is also round, red, kind, cold and blue.
Even though he's a big dude, Fred is cold.
A cold temperatured and green colored person who is also big will be young.
Red, kind, young people will be rough people, too.
People who are rough around the edges, nice, and a bit blue are young.
Anyone perceived to be rough, cold and kind will also be nice.
Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.
Young people who are nice and cold, are rather green.
Young, kind people with a round body shape can be cold to strangers.