Bob realized he was round and rough, and he decided to be nice and kind as well. Red Charlie is what folks call him, because he is quite red. Although Gary is seen as nice and round, his days of playing football have made him quite rough. Although Harry is seen as nice and round, his days of playing football have made him quite rough. Kind young people are red. A person that is cold, blue and nice is also considered to be round. If you meet a nice, young, red man, you will see that they are big too. When anyone is young, red and green, you know they'll also be blue. Nice people are kind and rough when they are young. It's just a fact that a blue person is a kind person. Take a drive and find a kind and blue driver, that means they are also young.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and blue and nice then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice and red then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is red and young and green then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and blue then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Harry is round.
True
1
proof
[(triple9)]
("Harry" "is" "round" "+")
triple9
Gary is not round.
False
1
inv-proof
[(triple6)]
("Gary" "is" "round" "-")
triple6
Bob is young.
True
4
proof
[(((triple3 triple4 triple2) -> rule5))]
("Bob" "is" "young" "+")
((triple3 triple4 triple2) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
4
inv-proof
[(((triple3 triple4 triple2) -> rule5))]
("Bob" "is" "young" "-")
((triple3 triple4 triple2) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
True
6
proof
[(((triple4 ((triple3 triple4 triple2) -> rule5)) -> rule1))]
("Bob" "is" "red" "+")
((triple4 ((triple3 triple4 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not red.
False
6
inv-proof
[(((triple4 ((triple3 triple4 triple2) -> rule5)) -> rule1))]
("Bob" "is" "red" "-")
((triple4 ((triple3 triple4 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
True
12
proof
[(((((triple3 triple4 triple2) -> rule5) triple3 ((triple4 ((triple3 triple4 triple2) -> rule5)) -> rule1)) -> rule3))]
("Bob" "is" "big" "+")
((((triple3 triple4 triple2) -> (rule5 % int3)) triple3 ((triple4 ((triple3 triple4 triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not big.
False
12
inv-proof
[(((((triple3 triple4 triple2) -> rule5) triple3 ((triple4 ((triple3 triple4 triple2) -> rule5)) -> rule1)) -> rule3))]
("Bob" "is" "big" "-")
((((triple3 triple4 triple2) -> (rule5 % int3)) triple3 ((triple4 ((triple3 triple4 triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Gary is not red.
Unknown
inv-rconc
[@3: Gary is red.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule4 <- FAIL)]]
("Gary" "is" "red" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "blue" "+")
Charlie is not kind.
Unknown
inv-rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Charlie" "is" "kind" "-")
Harry is red.
Unknown
rconc
[@3: Harry is red.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule4 <- FAIL)]]
("Harry" "is" "red" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Bob is kind.[(triple4)] Bob is nice.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Charlie is red.[(triple5)] Gary is nice.[(triple8)] Gary is rough.[(triple7)] Gary is round.[(triple6)] Harry is nice.[(triple11)] Harry is rough.[(triple10)] Harry is round.[(triple9)] @1: Bob is young.[(((triple3 triple4 triple2) -> rule5))] @2: Bob is red.[(((triple4 ((triple3 triple4 triple2) -> rule5)) -> rule1))] @3: Bob is big.[(((((triple3 triple4 triple2) -> rule5) triple3 ((triple4 ((triple3 triple4 triple2) -> rule5)) -> rule1)) -> rule3))]
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Bob is young.
("Bob" "is" "young" "+")
((triple3 triple4 triple2) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple4 ((triple3 triple4 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((((triple3 triple4 triple2) -> (rule5 % int3)) triple3 ((triple4 ((triple3 triple4 triple2) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob realized he was round and rough, and he decided to be nice and kind as well.
Red Charlie is what folks call him, because he is quite red.
Although Gary is seen as nice and round, his days of playing football have made him quite rough.
Although Harry is seen as nice and round, his days of playing football have made him quite rough.
Kind young people are red.
A person that is cold, blue and nice is also considered to be round.
If you meet a nice, young, red man, you will see that they are big too.
When anyone is young, red and green, you know they'll also be blue.
Nice people are kind and rough when they are young.
It's just a fact that a blue person is a kind person.
Take a drive and find a kind and blue driver, that means they are also young.