Bob's a round guy, and a red and green guy. When you see Charlie, you will notice he is cold, big and kind. Eric is a rough but very kind and blue person. Gary is round shaped and green colored. Kind young people are red. Someone who is cold, big, and rough is always green, as a rule. Red people feel blue about it. Anyone that's rough and cold is also going to be blue. If a person behaves in a nice way while they are physically blue and big, they're definitely round. If you meet someone who is big and kind with cold skin, they will be young. Anyone that's described as young, kind and blue can be said to be cold, too.
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and big and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and blue and big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and cold and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is young and blue and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Bob is red.
True
1
proof
[(triple2)]
("Bob" "is" "red" "+")
triple2
Eric is not rough.
False
1
inv-proof
[(triple7)]
("Eric" "is" "rough" "-")
triple7
Charlie is young.
True
4
proof
[(((triple4 triple5 triple6) -> rule6))]
("Charlie" "is" "young" "+")
((triple4 triple5 triple6) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
4
inv-proof
[(((triple4 triple5 triple6) -> rule6))]
("Charlie" "is" "young" "-")
((triple4 triple5 triple6) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
True
6
proof
[(((triple4 ((triple4 triple5 triple6) -> rule6)) -> rule1))]
("Charlie" "is" "red" "+")
((triple4 ((triple4 triple5 triple6) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not red.
False
6
inv-proof
[(((triple4 ((triple4 triple5 triple6) -> rule6)) -> rule1))]
("Charlie" "is" "red" "-")
((triple4 ((triple4 triple5 triple6) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
True
7
proof
[(((((triple4 ((triple4 triple5 triple6) -> rule6)) -> rule1)) -> rule3))]
("Charlie" "is" "blue" "+")
((((triple4 ((triple4 triple5 triple6) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not blue.
False
7
inv-proof
[(((((triple4 ((triple4 triple5 triple6) -> rule6)) -> rule1)) -> rule3))]
("Charlie" "is" "blue" "-")
((((triple4 ((triple4 triple5 triple6) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "cold" "+")
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "green" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Bob is green.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1)] Charlie is big.[(triple6)] Charlie is cold.[(triple5)] Charlie is kind.[(triple4)] Eric is blue.[(triple9)] Eric is kind.[(triple8)] Eric is rough.[(triple7)] Gary is green.[(triple11)] Gary is round.[(triple10)] @1: Bob is blue.[(((triple2) -> rule3))] Charlie is young.[(((triple4 triple5 triple6) -> rule6))] @2: Charlie is red.[(((triple4 ((triple4 triple5 triple6) -> rule6)) -> rule1))] @3: Charlie is blue.[(((((triple4 ((triple4 triple5 triple6) -> rule6)) -> rule1)) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple2) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple4 triple5 triple6) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple4 ((triple4 triple5 triple6) -> (rule6 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple4 ((triple4 triple5 triple6) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Bob's a round guy, and a red and green guy.
When you see Charlie, you will notice he is cold, big and kind.
Eric is a rough but very kind and blue person.
Gary is round shaped and green colored.
Kind young people are red.
Someone who is cold, big, and rough is always green, as a rule.
Red people feel blue about it.
Anyone that's rough and cold is also going to be blue.
If a person behaves in a nice way while they are physically blue and big, they're definitely round.
If you meet someone who is big and kind with cold skin, they will be young.
Anyone that's described as young, kind and blue can be said to be cold, too.