Bob wears all blue. Eric often feels a bit blue and tends to run on the cold side while also being very nice and red. That rough but kind guy is Harry, the green one. Blue people who are cold are always round in shape. Everyone who manages to be both rough and round are also kind. A young and kind person with red rosy skin is cold. A blue and round human being will also be a green human being. Looking blue can be a sign that someone is cold. Generally, round and kind people are big. Young people who are nice and cold, are rather green.
Bob is blue.
("Bob" "is" "blue" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is blue and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and kind and red then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and kind then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and young and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Harry is rough.
True
1
proof
[(triple6)]
("Harry" "is" "rough" "+")
triple6
Eric is not red.
False
1
inv-proof
[(triple2)]
("Eric" "is" "red" "-")
triple2
Bob is cold.
True
2
proof
[(((triple1) -> rule5))]
("Bob" "is" "cold" "+")
((triple1) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
2
inv-proof
[(((triple1) -> rule5))]
("Bob" "is" "cold" "-")
((triple1) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
True
4
proof
[(((triple1 ((triple1) -> rule5)) -> rule1))]
("Bob" "is" "round" "+")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not round.
False
4
inv-proof
[(((triple1 ((triple1) -> rule5)) -> rule1))]
("Bob" "is" "round" "-")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
True
6
proof
[(((triple1 ((triple1 ((triple1) -> rule5)) -> rule1)) -> rule4))]
("Bob" "is" "green" "+")
((triple1 ((triple1 ((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % 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
6
inv-proof
[(((triple1 ((triple1 ((triple1) -> rule5)) -> rule1)) -> rule4))]
("Bob" "is" "green" "-")
((triple1 ((triple1 ((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % 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 kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "green" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "-")
Eric is big.
Unknown
rconc
[@2: Eric is big.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Eric" "is" "big" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is blue.[(triple1)] Eric is blue.[(triple5)] Eric is cold.[(triple4 OR ((triple5) -> rule5))] Eric is nice.[(triple3)] Eric is red.[(triple2)] Harry is green.[(triple8)] Harry is kind.[(triple7)] Harry is rough.[(triple6)] @1: Bob is cold.[(((triple1) -> rule5))] Eric is round.[(((triple5 triple4) -> rule1) OR ((triple5 ((triple5) -> rule5)) -> rule1))] @2: Bob is round.[(((triple1 ((triple1) -> rule5)) -> rule1))] Eric is green.[(((triple5 ((triple5 triple4) -> rule1)) -> rule4) OR ((triple5 ((triple5 ((triple5) -> rule5)) -> rule1)) -> rule4))] @3: Bob is green.[(((triple1 ((triple1 ((triple1) -> rule5)) -> rule1)) -> rule4))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Eric is cold.
("Eric" "is" "cold" "+")
triple4
((triple5) -> (rule5 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Eric is red.
("Eric" "is" "red" "+")
triple2
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
((triple1) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple5 triple4) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
((triple5 ((triple5) -> (rule5 % int2))) -> (rule1 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((triple1 ((triple1) -> (rule5 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple5 ((triple5 triple4) -> (rule1 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
((triple5 ((triple5 ((triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((triple1 ((triple1 ((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob wears all blue.
Eric often feels a bit blue and tends to run on the cold side while also being very nice and red.
That rough but kind guy is Harry, the green one.
Blue people who are cold are always round in shape.
Everyone who manages to be both rough and round are also kind.
A young and kind person with red rosy skin is cold.
A blue and round human being will also be a green human being.
Looking blue can be a sign that someone is cold.
Generally, round and kind people are big.
Young people who are nice and cold, are rather green.