That man standing next to you with a big round body goes by the name of Bob. Being young, Charlie is still green and blue. From a certain angle Eric is blue but he is young so maybe that will go away. Gary is a rough man with a big heart who has red hair and a nice smile. Their actions reflected how young and kind but green they were making things seem blue. A kind and green person who is rough around the edges is cold. Interestingly, cold and rough people are kind. Nice people are kind and rough when they are young. When you know someone who's red, rough and nice, you'll also see that they're cold. Big people that are also rough, are ultimately round. Anyone you know who is cold and kind must certainly be young.
Bob is round.
("Bob" "is" "round" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is young and kind and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and rough and kind then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and red and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and rough then they are round.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and kind then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Eric is young.
True
1
proof
[(triple6)]
("Eric" "is" "young" "+")
triple6
Bob is not round.
False
1
inv-proof
[(triple1)]
("Bob" "is" "round" "-")
triple1
Gary is round.
True
3
proof
[(((triple11 triple8) -> rule6))]
("Gary" "is" "round" "+")
((triple11 triple8) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not cold.
False
4
inv-proof
[(((triple10 triple9 triple8) -> rule5))]
("Gary" "is" "cold" "-")
((triple10 triple9 triple8) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
True
6
proof
[(((((triple10 triple9 triple8) -> rule5) triple8) -> rule3))]
("Gary" "is" "kind" "+")
((((triple10 triple9 triple8) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not kind.
False
6
inv-proof
[(((((triple10 triple9 triple8) -> rule5) triple8) -> rule3))]
("Gary" "is" "kind" "-")
((((triple10 triple9 triple8) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
True
9
proof
[(((triple10 ((((triple10 triple9 triple8) -> rule5) triple8) -> rule3) triple8) -> rule4) OR ((((triple10 triple9 triple8) -> rule5) ((((triple10 triple9 triple8) -> rule5) triple8) -> rule3)) -> rule7))]
("Gary" "is" "young" "+")
((triple10 ((((triple10 triple9 triple8) -> (rule5 % int3)) triple8) -> (rule3 % int2)) triple8) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple10 triple9 triple8) -> (rule5 % int3)) ((((triple10 triple9 triple8) -> (rule5 % int3)) triple8) -> (rule3 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not young.
False
9
inv-proof
[(((triple10 ((((triple10 triple9 triple8) -> rule5) triple8) -> rule3) triple8) -> rule4) OR ((((triple10 triple9 triple8) -> rule5) ((((triple10 triple9 triple8) -> rule5) triple8) -> rule3)) -> rule7))]
("Gary" "is" "young" "-")
((triple10 ((((triple10 triple9 triple8) -> (rule5 % int3)) triple8) -> (rule3 % int2)) triple8) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple10 triple9 triple8) -> (rule5 % int3)) ((((triple10 triple9 triple8) -> (rule5 % int3)) triple8) -> (rule3 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "round" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "kind" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is big.[(triple2)] Bob is round.[(triple1)] Charlie is blue.[(triple5)] Charlie is green.[(triple4)] Charlie is young.[(triple3)] Eric is blue.[(triple7)] Eric is young.[(triple6)] Gary is big.[(triple11)] Gary is nice.[(triple10)] Gary is red.[(triple9)] Gary is rough.[(triple8)] @1: Gary is cold.[(((triple10 triple9 triple8) -> rule5))] Gary is round.[(((triple11 triple8) -> rule6))] @2: Gary is kind.[(((((triple10 triple9 triple8) -> rule5) triple8) -> rule3))] @3: Gary is young.[(((triple10 ((((triple10 triple9 triple8) -> rule5) triple8) -> rule3) triple8) -> rule4) OR ((((triple10 triple9 triple8) -> rule5) ((((triple10 triple9 triple8) -> rule5) triple8) -> rule3)) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
((triple10 triple9 triple8) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple11 triple8) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((((triple10 triple9 triple8) -> (rule5 % int2)) triple8) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple10 ((((triple10 triple9 triple8) -> (rule5 % int3)) triple8) -> (rule3 % int2)) triple8) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((triple10 triple9 triple8) -> (rule5 % int3)) ((((triple10 triple9 triple8) -> (rule5 % int3)) triple8) -> (rule3 % int2))) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
That man standing next to you with a big round body goes by the name of Bob.
Being young, Charlie is still green and blue.
From a certain angle Eric is blue but he is young so maybe that will go away.
Gary is a rough man with a big heart who has red hair and a nice smile.
Their actions reflected how young and kind but green they were making things seem blue.
A kind and green person who is rough around the edges is cold.
Interestingly, cold and rough people are kind.
Nice people are kind and rough when they are young.
When you know someone who's red, rough and nice, you'll also see that they're cold.
Big people that are also rough, are ultimately round.
Anyone you know who is cold and kind must certainly be young.