As much as Alan is nice, he is also cold and often feels blue. Charlie appears green and blue, he is also rather round and kind. Fred is known to be rough and green. Even though he's a big dude, Gary is cold. A big round person is nice. A nice and kind person who is big sized will be cold. Someone being both nice and kind means that they are a big person. Big, red things tend to have a kind spirit to them. John is round and rough, meaning that he is someone that is seen as green. Young people who are nice and cold, are rather green. A person that is green also someone who is big.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is round and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and rough then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
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 green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Fred is green.
True
1
proof
[(triple9)]
("Fred" "is" "green" "+")
triple9
Fred is not green.
False
1
inv-proof
[(triple9)]
("Fred" "is" "green" "-")
triple9
Charlie is big.
True
2
proof
[(((triple6) -> rule7))]
("Charlie" "is" "big" "+")
((triple6) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Fred is not big.
False
2
inv-proof
[(((triple9) -> rule7))]
("Fred" "is" "big" "-")
((triple9) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Charlie is nice.
True
4
proof
[(((triple4 ((triple6) -> rule7)) -> rule1))]
("Charlie" "is" "nice" "+")
((triple4 ((triple6) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not nice.
False
4
inv-proof
[(((triple4 ((triple6) -> rule7)) -> rule1))]
("Charlie" "is" "nice" "-")
((triple4 ((triple6) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
True
8
proof
[(((((triple4 ((triple6) -> rule7)) -> rule1) triple5 ((triple6) -> rule7)) -> rule2))]
("Charlie" "is" "cold" "+")
((((triple4 ((triple6) -> (rule7 % int3))) -> (rule1 % int2)) triple5 ((triple6) -> (rule7 % int3))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not cold.
False
8
inv-proof
[(((((triple4 ((triple6) -> rule7)) -> rule1) triple5 ((triple6) -> rule7)) -> rule2))]
("Charlie" "is" "cold" "-")
((((triple4 ((triple6) -> (rule7 % int3))) -> (rule1 % int2)) triple5 ((triple6) -> (rule7 % int3))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Fred is not kind.
Unknown
inv-rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "kind" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "kind" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is blue.[(triple3)] Alan is cold.[(triple2)] Alan is nice.[(triple1)] Charlie is blue.[(triple7)] Charlie is green.[(triple6)] Charlie is kind.[(triple5)] Charlie is round.[(triple4)] Fred is green.[(triple9)] Fred is rough.[(triple8)] Gary is big.[(triple11)] Gary is cold.[(triple10)] @1: Charlie is big.[(((triple6) -> rule7))] Fred is big.[(((triple9) -> rule7))] @2: Charlie is nice.[(((triple4 ((triple6) -> rule7)) -> rule1))] @3: Charlie is cold.[(((((triple4 ((triple6) -> rule7)) -> rule1) triple5 ((triple6) -> rule7)) -> rule2))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Charlie is big.
("Charlie" "is" "big" "+")
((triple6) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((triple9) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple4 ((triple6) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple4 ((triple6) -> (rule7 % int3))) -> (rule1 % int2)) triple5 ((triple6) -> (rule7 % int3))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
As much as Alan is nice, he is also cold and often feels blue.
Charlie appears green and blue, he is also rather round and kind.
Fred is known to be rough and green.
Even though he's a big dude, Gary is cold.
A big round person is nice.
A nice and kind person who is big sized will be cold.
Someone being both nice and kind means that they are a big person.
Big, red things tend to have a kind spirit to them.
John is round and rough, meaning that he is someone that is seen as green.
Young people who are nice and cold, are rather green.
A person that is green also someone who is big.