Though he is young, Bob is still nice despite being quite blue. Charlie is both big and round, with blue features. Dave ate some rotten meat and now feels green. Gary ate some rotten meat and now feels green. You know when you meet a red, blue and kind person, that means they are green. Cold, green people have a habit of eating alot and looking quite round. Someone who's blue, nice and round will also be someone who's green. A person that is known to be big and rough is also green, they will feel blue about it. You can see that cold, blue people are round in shape. Big kind people are usually cold. A person that is both nice and young will also be cold.
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is red and blue and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and green then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and nice and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is big and rough and green then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Dave is green.
True
1
proof
[(triple7)]
("Dave" "is" "green" "+")
triple7
Charlie is not round.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "round" "-")
triple4
Bob is cold.
True
3
proof
[(((triple2 triple1) -> rule7))]
("Bob" "is" "cold" "+")
((triple2 triple1) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
3
inv-proof
[(((triple2 triple1) -> rule7))]
("Bob" "is" "cold" "-")
((triple2 triple1) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
True
5
proof
[(((((triple2 triple1) -> rule7) triple3) -> rule5))]
("Bob" "is" "round" "+")
((((triple2 triple1) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not round.
False
5
inv-proof
[(((((triple2 triple1) -> rule7) triple3) -> rule5))]
("Bob" "is" "round" "-")
((((triple2 triple1) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
True
8
proof
[(((triple3 triple2 ((((triple2 triple1) -> rule7) triple3) -> rule5)) -> rule3))]
("Bob" "is" "green" "+")
((triple3 triple2 ((((triple2 triple1) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not green.
False
8
inv-proof
[(((triple3 triple2 ((((triple2 triple1) -> rule7) triple3) -> rule5)) -> rule3))]
("Bob" "is" "green" "-")
((triple3 triple2 ((((triple2 triple1) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "cold" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "cold" "+")
Dave is not round.
Unknown
inv-rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Dave" "is" "round" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Bob is blue.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Charlie is big.[(triple6)] Charlie is blue.[(triple5)] Charlie is round.[(triple4)] Dave is green.[(triple7)] Gary is green.[(triple8)] @1: Bob is cold.[(((triple2 triple1) -> rule7))] @2: Bob is round.[(((((triple2 triple1) -> rule7) triple3) -> rule5))] @3: Bob is green.[(((triple3 triple2 ((((triple2 triple1) -> rule7) triple3) -> rule5)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
((triple2 triple1) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((((triple2 triple1) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
((triple3 triple2 ((((triple2 triple1) -> (rule7 % int3)) triple3) -> (rule5 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Though he is young, Bob is still nice despite being quite blue.
Charlie is both big and round, with blue features.
Dave ate some rotten meat and now feels green.
Gary ate some rotten meat and now feels green.
You know when you meet a red, blue and kind person, that means they are green.
Cold, green people have a habit of eating alot and looking quite round.
Someone who's blue, nice and round will also be someone who's green.
A person that is known to be big and rough is also green, they will feel blue about it.
You can see that cold, blue people are round in shape.
Big kind people are usually cold.
A person that is both nice and young will also be cold.