Bob is blue. Bob is not rough. Bob is young. Charlie is blue. Charlie is kind. Charlie is not quiet. Charlie is not rough. Charlie is smart. Charlie is not white. Charlie is young. Harry is blue. Harry is rough. Harry is smart. Harry is white. Harry is young. If something is quiet and not white then it is kind. White, quiet things are kind. If something is white and not smart then it is rough. If Charlie is not white then Charlie is not rough. All quiet things are young. If something is white then it is not quiet. If Charlie is young and Charlie is not rough then Charlie is kind. If Bob is not blue and Bob is not kind then Bob is young.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is young.
("Bob" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is quiet and not white then it is kind.
((("something" "is" "quiet" "+") ("something" "is" "white" "~")) -> ("something" "is" "kind" "+"))
White, quiet things are kind.
((("something" "is" "white" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
If something is white and not smart then it is rough.
((("something" "is" "white" "+") ("something" "is" "smart" "~")) -> ("something" "is" "rough" "+"))
If Charlie is not white then Charlie is not rough.
((("Charlie" "is" "white" "~")) -> ("Charlie" "is" "rough" "-"))
All quiet things are young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If something is white then it is not quiet.
((("something" "is" "white" "+")) -> ("something" "is" "quiet" "-"))
If Charlie is young and Charlie is not rough then Charlie is kind.
((("Charlie" "is" "young" "+") ("Charlie" "is" "rough" "~")) -> ("Charlie" "is" "kind" "+"))
If Bob is not blue and Bob is not kind then Bob is young.
((("Bob" "is" "blue" "~") ("Bob" "is" "kind" "~")) -> ("Bob" "is" "young" "+"))
Harry is young.
True
1
proof
[(triple15)]
("Harry" "is" "young" "+")
triple15
Charlie is quiet.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "quiet" "+")
triple6
Harry is not quiet.
True
2
proof
[(((triple14) -> rule6))]
("Harry" "is" "quiet" "-")
((triple14) -> (rule6 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is quiet.
False
2
inv-proof
[(((triple14) -> rule6))]
("Harry" "is" "quiet" "+")
((triple14) -> (rule6 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "kind" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Bob is blue.[(triple1)] Bob is not rough.[(triple2)] Bob is young.[(triple3)] Charlie is blue.[(triple4)] Charlie is kind.[(triple5 OR ((triple10 triple7) -> rule7) OR ((triple10 ((triple9) -> rule4)) -> rule7))] Charlie is not quiet.[(triple6)] Charlie is not rough.[(triple7 OR ((triple9) -> rule4))] Charlie is not white.[(triple9)] Charlie is smart.[(triple8)] Charlie is young.[(triple10)] Harry is blue.[(triple11)] Harry is rough.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Harry is not quiet.[(((triple14) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is not rough.
("Bob" "is" "rough" "-")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
((triple10 triple7) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple10 ((triple9) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not rough.
("Charlie" "is" "rough" "-")
int2
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple6
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple7
((triple9) -> (rule4 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is not white.
("Charlie" "is" "white" "-")
triple9
Charlie is smart.
("Charlie" "is" "smart" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Harry is smart.
("Harry" "is" "smart" "+")
triple13
Harry is white.
("Harry" "is" "white" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Harry is not quiet.
("Harry" "is" "quiet" "-")
((triple14) -> (rule6 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1