Bob is big and round for being so young. He ate some spoiled food that has him feeling green. That guy Fred is big, but he's always kind to little ones. Gary wears all blue. Harry wears all blue. Cold and rough people will also surely be round shaped. Nice and kind people tend to live green lifestyle and arent very rough. You make someone round and green, and they'll turn out nice. A rough person who is young and nice is also red. People who are young and green are also kind. You can see that cold, blue people are round in shape.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and kind and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and nice and rough then they are red.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is young and green then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Fred is kind.
True
1
proof
[(triple5)]
("Fred" "is" "kind" "+")
triple5
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Bob is kind.
True
3
proof
[(((triple1 triple3) -> rule5))]
("Bob" "is" "kind" "+")
((triple1 triple3) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple2 triple3) -> rule3))]
("Bob" "is" "nice" "-")
((triple2 triple3) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
True
8
proof
[(((((triple2 triple3) -> rule3) ((triple1 triple3) -> rule5) triple3) -> rule2))]
("Bob" "is" "rough" "+")
((((triple2 triple3) -> (rule3 % int3)) ((triple1 triple3) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not rough.
False
8
inv-proof
[(((((triple2 triple3) -> rule3) ((triple1 triple3) -> rule5) triple3) -> rule2))]
("Bob" "is" "rough" "-")
((((triple2 triple3) -> (rule3 % int3)) ((triple1 triple3) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
True
13
proof
[(((triple1 ((triple2 triple3) -> rule3) ((((triple2 triple3) -> rule3) ((triple1 triple3) -> rule5) triple3) -> rule2)) -> rule4))]
("Bob" "is" "red" "+")
((triple1 ((triple2 triple3) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((triple1 triple3) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is not red.
False
13
inv-proof
[(((triple1 ((triple2 triple3) -> rule3) ((((triple2 triple3) -> rule3) ((triple1 triple3) -> rule5) triple3) -> rule2)) -> rule4))]
("Bob" "is" "red" "-")
((triple1 ((triple2 triple3) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((triple1 triple3) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
@0: Bob is big.[(triple4)] Bob is green.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Fred is big.[(triple6)] Fred is kind.[(triple5)] Gary is blue.[(triple7)] Harry is blue.[(triple8)] @1: Bob is kind.[(((triple1 triple3) -> rule5))] Bob is nice.[(((triple2 triple3) -> rule3))] @2: Bob is rough.[(((((triple2 triple3) -> rule3) ((triple1 triple3) -> rule5) triple3) -> rule2))] @3: Bob is red.[(((triple1 ((triple2 triple3) -> rule3) ((((triple2 triple3) -> rule3) ((triple1 triple3) -> rule5) triple3) -> rule2)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
((triple1 triple3) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple2 triple3) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple2 triple3) -> (rule3 % int3)) ((triple1 triple3) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
((triple1 ((triple2 triple3) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((triple1 triple3) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big and round for being so young; He ate some spoiled food that has him feeling green.
That guy Fred is big, but he's always kind to little ones.
Gary wears all blue.
Harry wears all blue.
Cold and rough people will also surely be round shaped.
Nice and kind people tend to live green lifestyle and arent very rough.
You make someone round and green, and they'll turn out nice.
A rough person who is young and nice is also red.
People who are young and green are also kind.
You can see that cold, blue people are round in shape.