Young Bob is wearing green pants. Dave is a rather round fellow, but kind and nice to people. He often looks green and blue. Harry is colored red and green. He is also young, rough and very cold. Soon you will understand that big people are nice. Someone who is both red and blue will also be a nice person. Cold and kind people tend to be blue. People who are cold and and red are also young and kind.
Bob is young.
("Bob" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and kind then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and young and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Harry is young.
True
1
proof
[(triple8)]
("Harry" "is" "young" "+")
triple8
Dave is not kind.
False
1
inv-proof
[(triple5)]
("Dave" "is" "kind" "-")
triple5
Harry is kind.
True
4
proof
[(((triple10 triple8 triple12) -> rule4))]
("Harry" "is" "kind" "+")
((triple10 triple8 triple12) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is not kind.
False
4
inv-proof
[(((triple10 triple8 triple12) -> rule4))]
("Harry" "is" "kind" "-")
((triple10 triple8 triple12) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
True
6
proof
[(((triple12 ((triple10 triple8 triple12) -> rule4)) -> rule3))]
("Harry" "is" "blue" "+")
((triple12 ((triple10 triple8 triple12) -> (rule4 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not blue.
False
6
inv-proof
[(((triple12 ((triple10 triple8 triple12) -> rule4)) -> rule3))]
("Harry" "is" "blue" "-")
((triple12 ((triple10 triple8 triple12) -> (rule4 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
True
8
proof
[(((triple10 ((triple12 ((triple10 triple8 triple12) -> rule4)) -> rule3)) -> rule2))]
("Harry" "is" "nice" "+")
((triple10 ((triple12 ((triple10 triple8 triple12) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not nice.
False
8
inv-proof
[(((triple10 ((triple12 ((triple10 triple8 triple12) -> rule4)) -> rule3)) -> rule2))]
("Harry" "is" "nice" "-")
((triple10 ((triple12 ((triple10 triple8 triple12) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "blue" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "+")
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Bob is green.[(triple2)] Bob is young.[(triple1)] Dave is blue.[(triple7)] Dave is green.[(triple6)] Dave is kind.[(triple5)] Dave is nice.[(triple4)] Dave is round.[(triple3)] Harry is cold.[(triple12)] Harry is green.[(triple11)] Harry is red.[(triple10)] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Harry is kind.[(((triple10 triple8 triple12) -> rule4))] @2: Harry is blue.[(((triple12 ((triple10 triple8 triple12) -> rule4)) -> rule3))] @3: Harry is nice.[(((triple10 ((triple12 ((triple10 triple8 triple12) -> rule4)) -> rule3)) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
((triple10 triple8 triple12) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple12 ((triple10 triple8 triple12) -> (rule4 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((triple10 ((triple12 ((triple10 triple8 triple12) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Young Bob is wearing green pants.
Dave is a rather round fellow, but kind and nice to people; He often looks green and blue.
Harry is colored red and green; He is also young, rough and very cold.
Soon you will understand that big people are nice.
Someone who is both red and blue will also be a nice person.
Cold and kind people tend to be blue.
People who are cold and and red are also young and kind.