Bob was born only a few years ago so he is young. Big red Charlie is a nice and round fellow who tends to be both green and rough. Upon meeting Eric, you'll notice he's green and kind. Gary who is big in stature is almost always nice even when he is cold. Red and green people that are nice are cold to strangers. Young people who are big, downhearted, and blue are kind. A cold and blue appearing person will be young as well. Big people that have a rough demeanor usually feel blue. A big person that is tattooed blue will be very nice.
Bob is young.
("Bob" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and nice and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and blue and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and blue then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and blue then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Charlie is nice.
True
1
proof
[(triple5 OR ((triple7 ((triple7 triple3) -> rule4)) -> rule5))]
("Charlie" "is" "nice" "+")
triple5
((triple7 ((triple7 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not big.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "big" "-")
triple7
Charlie is cold.
True
4
proof
[(((triple4 triple5 triple6) -> rule1) OR ((triple4 ((triple7 ((triple7 triple3) -> rule4)) -> rule5) triple6) -> rule1))]
("Charlie" "is" "cold" "+")
((triple4 triple5 triple6) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple4 ((triple7 ((triple7 triple3) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not cold.
False
4
inv-proof
[(((triple4 triple5 triple6) -> rule1) OR ((triple4 ((triple7 ((triple7 triple3) -> rule4)) -> rule5) triple6) -> rule1))]
("Charlie" "is" "cold" "-")
((triple4 triple5 triple6) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple4 ((triple7 ((triple7 triple3) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
True
8
proof
[(((((triple4 triple5 triple6) -> rule1) ((triple7 triple3) -> rule4)) -> rule3) OR ((((triple4 ((triple7 ((triple7 triple3) -> rule4)) -> rule5) triple6) -> rule1) ((triple7 triple3) -> rule4)) -> rule3))]
("Charlie" "is" "young" "+")
((((triple4 triple5 triple6) -> (rule1 % int3)) ((triple7 triple3) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple4 ((triple7 ((triple7 triple3) -> (rule4 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int2)) ((triple7 triple3) -> (rule4 % int4))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is not young.
False
8
inv-proof
[(((((triple4 triple5 triple6) -> rule1) ((triple7 triple3) -> rule4)) -> rule3) OR ((((triple4 ((triple7 ((triple7 triple3) -> rule4)) -> rule5) triple6) -> rule1) ((triple7 triple3) -> rule4)) -> rule3))]
("Charlie" "is" "young" "-")
((((triple4 triple5 triple6) -> (rule1 % int3)) ((triple7 triple3) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple4 ((triple7 ((triple7 triple3) -> (rule4 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int2)) ((triple7 triple3) -> (rule4 % int4))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
True
13
proof
[(((triple7 ((triple7 triple3) -> rule4) ((((triple4 triple5 triple6) -> rule1) ((triple7 triple3) -> rule4)) -> rule3)) -> rule2) OR ((triple7 ((triple7 triple3) -> rule4) ((((triple4 ((triple7 ((triple7 triple3) -> rule4)) -> rule5) triple6) -> rule1) ((triple7 triple3) -> rule4)) -> rule3)) -> rule2))]
("Charlie" "is" "kind" "+")
((triple7 ((triple7 triple3) -> (rule4 % int4)) ((((triple4 triple5 triple6) -> (rule1 % int3)) ((triple7 triple3) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((triple7 ((triple7 triple3) -> (rule4 % int5)) ((((triple4 ((triple7 ((triple7 triple3) -> (rule4 % int5))) -> (rule5 % int4)) triple6) -> (rule1 % int3)) ((triple7 triple3) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is not kind.
False
13
inv-proof
[(((triple7 ((triple7 triple3) -> rule4) ((((triple4 triple5 triple6) -> rule1) ((triple7 triple3) -> rule4)) -> rule3)) -> rule2) OR ((triple7 ((triple7 triple3) -> rule4) ((((triple4 ((triple7 ((triple7 triple3) -> rule4)) -> rule5) triple6) -> rule1) ((triple7 triple3) -> rule4)) -> rule3)) -> rule2))]
("Charlie" "is" "kind" "-")
((triple7 ((triple7 triple3) -> (rule4 % int4)) ((((triple4 triple5 triple6) -> (rule1 % int3)) ((triple7 triple3) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((triple7 ((triple7 triple3) -> (rule4 % int5)) ((((triple4 ((triple7 ((triple7 triple3) -> (rule4 % int5))) -> (rule5 % int4)) triple6) -> (rule1 % int3)) ((triple7 triple3) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "-")
Eric is young.
Unknown
rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Eric" "is" "young" "+")
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "cold" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "nice" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is young.[(triple1)] Charlie is big.[(triple7)] Charlie is green.[(triple6)] Charlie is nice.[(triple5 OR ((triple7 ((triple7 triple3) -> rule4)) -> rule5))] Charlie is red.[(triple4)] Charlie is rough.[(triple3)] Charlie is round.[(triple2)] Eric is green.[(triple9)] Eric is kind.[(triple8)] Gary is big.[(triple12)] Gary is cold.[(triple11)] Gary is nice.[(triple10)] @1: Charlie is blue.[(((triple7 triple3) -> rule4))] Charlie is cold.[(((triple4 triple5 triple6) -> rule1) OR ((triple4 ((triple7 ((triple7 triple3) -> rule4)) -> rule5) triple6) -> rule1))] @2: Charlie is young.[(((((triple4 triple5 triple6) -> rule1) ((triple7 triple3) -> rule4)) -> rule3) OR ((((triple4 ((triple7 ((triple7 triple3) -> rule4)) -> rule5) triple6) -> rule1) ((triple7 triple3) -> rule4)) -> rule3))] @3: Charlie is kind.[(((triple7 ((triple7 triple3) -> rule4) ((((triple4 triple5 triple6) -> rule1) ((triple7 triple3) -> rule4)) -> rule3)) -> rule2) OR ((triple7 ((triple7 triple3) -> rule4) ((((triple4 ((triple7 ((triple7 triple3) -> rule4)) -> rule5) triple6) -> rule1) ((triple7 triple3) -> rule4)) -> rule3)) -> rule2))]
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
((triple7 ((triple7 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Eric is green.
("Eric" "is" "green" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple7 triple3) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple4 triple5 triple6) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple4 ((triple7 ((triple7 triple3) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((((triple4 triple5 triple6) -> (rule1 % int3)) ((triple7 triple3) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple4 ((triple7 ((triple7 triple3) -> (rule4 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int2)) ((triple7 triple3) -> (rule4 % int4))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple7 ((triple7 triple3) -> (rule4 % int4)) ((((triple4 triple5 triple6) -> (rule1 % int3)) ((triple7 triple3) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((triple7 ((triple7 triple3) -> (rule4 % int5)) ((((triple4 ((triple7 ((triple7 triple3) -> (rule4 % int5))) -> (rule5 % int4)) triple6) -> (rule1 % int3)) ((triple7 triple3) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Bob was born only a few years ago so he is young.
Big red Charlie is a nice and round fellow who tends to be both green and rough.
Upon meeting Eric, you'll notice he's green and kind.
Gary who is big in stature is almost always nice even when he is cold.
Red and green people that are nice are cold to strangers.
Young people who are big, downhearted, and blue are kind.
A cold and blue appearing person will be young as well.
Big people that have a rough demeanor usually feel blue.
A big person that is tattooed blue will be very nice.