Bob is a person both green and big. Charlie is young and round, he is also green. Red Eric is what folks call him, because he is quite red. Harry is a young guy who is also round, red, kind, cold and blue. Young, round, and cold people have a habit of looking pretty red. A big blue someone could also be green. Young,round people tend to be rough and big. Being cold and blue made them rough to deal with.
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is red.
("Eric" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is cold and young and round then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and young and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Bob is green.
True
1
proof
[(triple1)]
("Bob" "is" "green" "+")
triple1
Eric is not red.
False
1
inv-proof
[(triple6)]
("Eric" "is" "red" "-")
triple6
Harry is rough.
True
3
proof
[(((triple11 triple12) -> rule4))]
("Harry" "is" "rough" "+")
((triple11 triple12) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
3
inv-proof
[(((triple11 triple12) -> rule4))]
("Harry" "is" "rough" "-")
((triple11 triple12) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
True
6
proof
[(((((triple11 triple12) -> rule4) triple7 triple8) -> rule3))]
("Harry" "is" "big" "+")
((((triple11 triple12) -> (rule4 % int2)) triple7 triple8) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not big.
False
6
inv-proof
[(((((triple11 triple12) -> rule4) triple7 triple8) -> rule3))]
("Harry" "is" "big" "-")
((((triple11 triple12) -> (rule4 % int2)) triple7 triple8) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
True
8
proof
[(((triple12 ((((triple11 triple12) -> rule4) triple7 triple8) -> rule3)) -> rule2))]
("Harry" "is" "green" "+")
((triple12 ((((triple11 triple12) -> (rule4 % int3)) triple7 triple8) -> (rule3 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not green.
False
8
inv-proof
[(((triple12 ((((triple11 triple12) -> rule4) triple7 triple8) -> rule3)) -> rule2))]
("Harry" "is" "green" "-")
((triple12 ((((triple11 triple12) -> (rule4 % int3)) triple7 triple8) -> (rule3 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Eric is not green.
Unknown
inv-rconc
[@1: Eric is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "green" "-")
Charlie is big.
Unknown
rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Charlie" "is" "big" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "rough" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "rough" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Bob is big.[(triple2)] Bob is green.[(triple1)] Charlie is green.[(triple5)] Charlie is round.[(triple4)] Charlie is young.[(triple3)] Eric is red.[(triple6)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is kind.[(triple10)] Harry is red.[(triple9 OR ((triple11 triple7 triple8) -> rule1))] Harry is round.[(triple8)] Harry is young.[(triple7)] @1: Harry is rough.[(((triple11 triple12) -> rule4))] @2: Harry is big.[(((((triple11 triple12) -> rule4) triple7 triple8) -> rule3))] @3: Harry is green.[(((triple12 ((((triple11 triple12) -> rule4) triple7 triple8) -> rule3)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Eric is red.
("Eric" "is" "red" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
((triple11 triple7 triple8) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
((triple11 triple12) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((((triple11 triple12) -> (rule4 % int2)) triple7 triple8) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((triple12 ((((triple11 triple12) -> (rule4 % int3)) triple7 triple8) -> (rule3 % int2))) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Bob is a person both green and big.
Charlie is young and round, he is also green.
Red Eric is what folks call him, because he is quite red.
Harry is a young guy who is also round, red, kind, cold and blue.
Young, round, and cold people have a habit of looking pretty red.
A big blue someone could also be green.
Young,round people tend to be rough and big.
Being cold and blue made them rough to deal with.