Bob is big and green, which is good, because he is also cold and blue. Charlie was born only a few years ago so he is young. Fred is blue from ink he spilled on himself while being kind and helping some children paint. Harry is big and tends to wear red shirts. If someone is blue and rough, they always see red in others. A person that has a round big body shape and has a bit of a rough personality will have a green skin tone. Round and big people are sure to be rough. Red and kind people always seem to be big as well. You can see that cold, blue people are round in shape. Young and nice people are ultimately cold.
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue and rough then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is round and rough and big then they are green.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is round and big then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Bob is blue.
True
1
proof
[(triple3)]
("Bob" "is" "blue" "+")
triple3
Harry is not big.
False
1
inv-proof
[(triple9)]
("Harry" "is" "big" "-")
triple9
Bob is round.
True
3
proof
[(((triple2 triple3) -> rule5))]
("Bob" "is" "round" "+")
((triple2 triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
3
inv-proof
[(((triple2 triple3) -> rule5))]
("Bob" "is" "round" "-")
((triple2 triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
True
5
proof
[(((((triple2 triple3) -> rule5) triple4) -> rule3))]
("Bob" "is" "rough" "+")
((((triple2 triple3) -> (rule5 % int2)) triple4) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not rough.
False
5
inv-proof
[(((((triple2 triple3) -> rule5) triple4) -> rule3))]
("Bob" "is" "rough" "-")
((((triple2 triple3) -> (rule5 % int2)) triple4) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
True
7
proof
[(((triple3 ((((triple2 triple3) -> rule5) triple4) -> rule3)) -> rule1))]
("Bob" "is" "red" "+")
((triple3 ((((triple2 triple3) -> (rule5 % int3)) triple4) -> (rule3 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not red.
False
7
inv-proof
[(((triple3 ((((triple2 triple3) -> rule5) triple4) -> rule3)) -> rule1))]
("Bob" "is" "red" "-")
((triple3 ((((triple2 triple3) -> (rule5 % int3)) triple4) -> (rule3 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Fred is not red.
Unknown
inv-rconc
[@3: Fred is red.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule4 <- FAIL)]]
("Fred" "is" "red" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "cold" "+")
Fred is not round.
Unknown
inv-rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Fred" "is" "round" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Bob is big.[(triple4)] Bob is blue.[(triple3)] Bob is cold.[(triple2)] Bob is green.[(triple1 OR ((((triple2 triple3) -> rule5) ((((triple2 triple3) -> rule5) triple4) -> rule3) triple4) -> rule2))] Charlie is young.[(triple5)] Fred is blue.[(triple7)] Fred is kind.[(triple6)] Harry is big.[(triple9)] Harry is red.[(triple8)] @1: Bob is round.[(((triple2 triple3) -> rule5))] @2: Bob is rough.[(((((triple2 triple3) -> rule5) triple4) -> rule3))] @3: Bob is red.[(((triple3 ((((triple2 triple3) -> rule5) triple4) -> rule3)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple1
((((triple2 triple3) -> (rule5 % int3)) ((((triple2 triple3) -> (rule5 % int3)) triple4) -> (rule3 % int2)) triple4) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Bob is round.
("Bob" "is" "round" "+")
((triple2 triple3) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple2 triple3) -> (rule5 % int2)) triple4) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((triple3 ((((triple2 triple3) -> (rule5 % int3)) triple4) -> (rule3 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is big and green, which is good, because he is also cold and blue.
Charlie was born only a few years ago so he is young.
Fred is blue from ink he spilled on himself while being kind and helping some children paint.
Harry is big and tends to wear red shirts.
If someone is blue and rough, they always see red in others.
A person that has a round big body shape and has a bit of a rough personality will have a green skin tone.
Round and big people are sure to be rough.
Red and kind people always seem to be big as well.
You can see that cold, blue people are round in shape.
Young and nice people are ultimately cold.