Bob is blue. Bob is kind. Bob is nice. Bob is rough. Bob is round. Bob is white. Bob is young. Erin is blue. Erin is kind. Erin is young. Harry is blue. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is young. If someone is white and blue then they are round. If Harry is white and Harry is young then Harry is kind. If someone is young then they are rough.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is white and blue then they are round.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If Harry is white and Harry is young then Harry is kind.
((("Harry" "is" "white" "+") ("Harry" "is" "young" "+")) -> ("Harry" "is" "kind" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Erin is kind.
True
1
proof
[(triple9)]
("Erin" "is" "kind" "+")
triple9
Erin is not kind.
False
1
inv-proof
[(triple9)]
("Erin" "is" "kind" "-")
triple9
Erin is not round.
Unknown
inv-rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "round" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4 OR ((triple7) -> rule3))] Bob is round.[(triple5 OR ((triple6 triple1) -> rule1))] Bob is white.[(triple6)] Bob is young.[(triple7)] Erin is blue.[(triple8)] Erin is kind.[(triple9)] Erin is young.[(triple10)] Harry is blue.[(triple11)] Harry is kind.[(triple12)] Harry is nice.[(triple13)] Harry is rough.[(triple14 OR ((triple16) -> rule3))] Harry is round.[(triple15)] Harry is young.[(triple16)] @1: Erin is rough.[(((triple10) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((triple7) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple5
((triple6 triple1) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
((triple16) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Erin is rough.
("Erin" "is" "rough" "+")
((triple10) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1