That man standing next to you with a big round body goes by the name of Bob. Even though he's young and green, Eric is rough. Blue and green Harry is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Looking blue can be a sign that someone is cold. A cold, red person with a kind disposition will certainly be big. If someone happens to be cold and rough, they wont be nice and live green lifestyle. Someone who happens to be cold and green and big all at once must also be round in shape. Most kind and cold people are also big.
Bob is round.
("Bob" "is" "round" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is green.
("Eric" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and cold and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and nice and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and green and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Eric is young.
True
1
proof
[(triple3)]
("Eric" "is" "young" "+")
triple3
Eric is not rough.
False
1
inv-proof
[(triple4)]
("Eric" "is" "rough" "-")
triple4
Harry is cold.
True
2
proof
[(((triple8) -> rule1))]
("Harry" "is" "cold" "+")
((triple8) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
2
inv-proof
[(((triple8) -> rule1))]
("Harry" "is" "cold" "-")
((triple8) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
True
4
proof
[(((triple6 ((triple8) -> rule1)) -> rule5))]
("Harry" "is" "big" "+")
((triple6 ((triple8) -> (rule1 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not big.
False
4
inv-proof
[(((triple6 ((triple8) -> rule1)) -> rule5))]
("Harry" "is" "big" "-")
((triple6 ((triple8) -> (rule1 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
True
8
proof
[(((((triple8) -> rule1) triple7 ((triple6 ((triple8) -> rule1)) -> rule5)) -> rule4))]
("Harry" "is" "round" "+")
((((triple8) -> (rule1 % int3)) triple7 ((triple6 ((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is not round.
False
8
inv-proof
[(((((triple8) -> rule1) triple7 ((triple6 ((triple8) -> rule1)) -> rule5)) -> rule4))]
("Harry" "is" "round" "-")
((((triple8) -> (rule1 % int3)) triple7 ((triple6 ((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "green" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "cold" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Bob is big.[(triple2)] Bob is round.[(triple1)] Eric is green.[(triple5)] Eric is rough.[(triple4)] Eric is young.[(triple3)] Harry is blue.[(triple8)] Harry is green.[(triple7)] Harry is kind.[(triple6)] @1: Harry is cold.[(((triple8) -> rule1))] @2: Harry is big.[(((triple6 ((triple8) -> rule1)) -> rule5))] @3: Harry is round.[(((((triple8) -> rule1) triple7 ((triple6 ((triple8) -> rule1)) -> rule5)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
((triple8) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple6 ((triple8) -> (rule1 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((triple8) -> (rule1 % int3)) triple7 ((triple6 ((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
That man standing next to you with a big round body goes by the name of Bob.
Even though he's young and green, Eric is rough.
Blue and green Harry is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
Looking blue can be a sign that someone is cold.
A cold, red person with a kind disposition will certainly be big.
If someone happens to be cold and rough, they wont be nice and live green lifestyle.
Someone who happens to be cold and green and big all at once must also be round in shape.
Most kind and cold people are also big.