Bob is blue just like his dog. Bob is rough and round enough for the dog to use him as an exercise wheel. Big blue Eric is nice and young. Most people see Fred as round, albeit nice and big at the same time. Harry ate some rotten meat and now feels green. Green and blue people have a habit of being cold, which makes them red too. Kind young people are red. Rough people are often round. Look for the blue and green people, they are kind and will give you directions if you're lost. A big, young human being is sure to also be a green human being.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is green and blue and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and young then they are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Bob is rough.
True
1
proof
[(triple2)]
("Bob" "is" "rough" "+")
triple2
Fred is not round.
False
1
inv-proof
[(triple8)]
("Fred" "is" "round" "-")
triple8
Eric is green.
True
3
proof
[(((triple7 triple4) -> rule5))]
("Eric" "is" "green" "+")
((triple7 triple4) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not green.
False
3
inv-proof
[(((triple7 triple4) -> rule5))]
("Eric" "is" "green" "-")
((triple7 triple4) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
True
5
proof
[(((triple6 ((triple7 triple4) -> rule5)) -> rule4))]
("Eric" "is" "kind" "+")
((triple6 ((triple7 triple4) -> (rule5 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not kind.
False
5
inv-proof
[(((triple6 ((triple7 triple4) -> rule5)) -> rule4))]
("Eric" "is" "kind" "-")
((triple6 ((triple7 triple4) -> (rule5 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
True
7
proof
[(((((triple6 ((triple7 triple4) -> rule5)) -> rule4) triple4) -> rule2))]
("Eric" "is" "red" "+")
((((triple6 ((triple7 triple4) -> (rule5 % int3))) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not red.
False
7
inv-proof
[(((((triple6 ((triple7 triple4) -> rule5)) -> rule4) triple4) -> rule2))]
("Eric" "is" "red" "-")
((((triple6 ((triple7 triple4) -> (rule5 % int3))) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "green" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "round" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "round" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "red" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Bob is blue.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1 OR ((triple2) -> rule3))] Eric is big.[(triple7)] Eric is blue.[(triple6)] Eric is nice.[(triple5)] Eric is young.[(triple4)] Fred is big.[(triple10)] Fred is nice.[(triple9)] Fred is round.[(triple8)] Harry is green.[(triple11)] @1: Eric is green.[(((triple7 triple4) -> rule5))] @2: Eric is kind.[(((triple6 ((triple7 triple4) -> rule5)) -> rule4))] @3: Eric is red.[(((((triple6 ((triple7 triple4) -> rule5)) -> rule4) triple4) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
((triple2) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple11
Eric is green.
("Eric" "is" "green" "+")
((triple7 triple4) -> (rule5 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple6 ((triple7 triple4) -> (rule5 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((((triple6 ((triple7 triple4) -> (rule5 % int3))) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Bob is blue just like his dog; Bob is rough and round enough for the dog to use him as an exercise wheel.
Big blue Eric is nice and young.
Most people see Fred as round, albeit nice and big at the same time.
Harry ate some rotten meat and now feels green.
Green and blue people have a habit of being cold, which makes them red too.
Kind young people are red.
Rough people are often round.
Look for the blue and green people, they are kind and will give you directions if you're lost.
A big, young human being is sure to also be a green human being.