Charlie is big and dresses in blue. Eric often feels a bit blue and tends to run on the cold side while also being very nice and red. Gary was round, nice, and because he was cold, he looked rather blue. Young people who wear red lipstick are certainly kind. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. Nice and blue people have to be big as well. A big, nice, blue person is likely to be young.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and big and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is big and nice and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Charlie is big.
True
1
proof
[(triple2)]
("Charlie" "is" "big" "+")
triple2
Charlie is not blue.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "blue" "-")
triple1
Gary is big.
True
3
proof
[(((triple8 triple10) -> rule3))]
("Gary" "is" "big" "+")
((triple8 triple10) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Eric is not big.
False
3
inv-proof
[(((triple4 triple6) -> rule3))]
("Eric" "is" "big" "-")
((triple4 triple6) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Gary is young.
True
6
proof
[(((((triple8 triple10) -> rule3) triple8 triple10) -> rule4))]
("Gary" "is" "young" "+")
((((triple8 triple10) -> (rule3 % int2)) triple8 triple10) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not young.
False
6
inv-proof
[(((((triple8 triple10) -> rule3) triple8 triple10) -> rule4))]
("Gary" "is" "young" "-")
((((triple8 triple10) -> (rule3 % int2)) triple8 triple10) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Eric is kind.
True
8
proof
[(((triple3 ((((triple4 triple6) -> rule3) triple4 triple6) -> rule4)) -> rule1))]
("Eric" "is" "kind" "+")
((triple3 ((((triple4 triple6) -> (rule3 % int3)) triple4 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not kind.
False
8
inv-proof
[(((triple3 ((((triple4 triple6) -> rule3) triple4 triple6) -> rule4)) -> rule1))]
("Eric" "is" "kind" "-")
((triple3 ((((triple4 triple6) -> (rule3 % int3)) triple4 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "kind" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "cold" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "cold" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Charlie is big.[(triple2)] Charlie is blue.[(triple1)] Eric is blue.[(triple6)] Eric is cold.[(triple5)] Eric is nice.[(triple4)] Eric is red.[(triple3)] Gary is blue.[(triple10)] Gary is cold.[(triple9)] Gary is nice.[(triple8)] Gary is round.[(triple7)] @1: Eric is big.[(((triple4 triple6) -> rule3))] Gary is big.[(((triple8 triple10) -> rule3))] @2: Eric is young.[(((((triple4 triple6) -> rule3) triple4 triple6) -> rule4))] Gary is young.[(((((triple8 triple10) -> rule3) triple8 triple10) -> rule4))] @3: Eric is kind.[(((triple3 ((((triple4 triple6) -> rule3) triple4 triple6) -> rule4)) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Eric is nice.
("Eric" "is" "nice" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple7
Eric is big.
("Eric" "is" "big" "+")
((triple4 triple6) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple8 triple10) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((((triple4 triple6) -> (rule3 % int2)) triple4 triple6) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((((triple8 triple10) -> (rule3 % int2)) triple8 triple10) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((triple3 ((((triple4 triple6) -> (rule3 % int3)) triple4 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Charlie is big and dresses in blue.
Eric often feels a bit blue and tends to run on the cold side while also being very nice and red.
Gary was round, nice, and because he was cold, he looked rather blue.
Young people who wear red lipstick are certainly kind.
Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others.
Nice and blue people have to be big as well.
A big, nice, blue person is likely to be young.