Bob is furry. Bob is green. Bob is not kind. Bob is red. Bob is not rough. Bob is round. Bob is young. Charlie is round. Fiona is furry. Fiona is green. Fiona is not red. Fiona is rough. Fiona is round. Gary is kind. Gary is red. Gary is round. Round, rough things are kind. Red things are not rough. If Gary is green and Gary is furry then Gary is young. Furry things are green. All young things are green. If Bob is not young and Bob is not rough then Bob is furry.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Round, rough things are kind.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
Red things are not rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "-"))
If Gary is green and Gary is furry then Gary is young.
((("Gary" "is" "green" "+") ("Gary" "is" "furry" "+")) -> ("Gary" "is" "young" "+"))
Furry things are green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
All young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
If Bob is not young and Bob is not rough then Bob is furry.
((("Bob" "is" "young" "~") ("Bob" "is" "rough" "~")) -> ("Bob" "is" "furry" "+"))
Bob is young.
True
1
proof
[(triple7)]
("Bob" "is" "young" "+")
triple7
Fiona is not round.
False
1
inv-proof
[(triple13)]
("Fiona" "is" "round" "-")
triple13
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "kind" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple1) -> rule4) OR ((triple7) -> rule5))] Bob is not kind.[(triple3)] Bob is not rough.[(triple5 OR ((triple4) -> rule2))] Bob is red.[(triple4)] Bob is round.[(triple6)] Bob is young.[(triple7)] Charlie is round.[(triple8)] Fiona is furry.[(triple9)] Fiona is green.[(triple10 OR ((triple9) -> rule4))] Fiona is not red.[(triple11)] Fiona is rough.[(triple12)] Fiona is round.[(triple13)] Gary is kind.[(triple14)] Gary is red.[(triple15)] Gary is round.[(triple16)] @1: Fiona is kind.[(((triple13 triple12) -> rule1))] Gary is not rough.[(((triple15) -> rule2))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple1) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple7) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not kind.
("Bob" "is" "kind" "-")
triple3
Bob is not rough.
("Bob" "is" "rough" "-")
triple5
((triple4) -> (rule2 % int1))
Bob is not rough.
("Bob" "is" "rough" "-")
int1
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
((triple9) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not red.
("Fiona" "is" "red" "-")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Fiona is round.
("Fiona" "is" "round" "+")
triple13
Gary is kind.
("Gary" "is" "kind" "+")
triple14
Gary is red.
("Gary" "is" "red" "+")
triple15
Gary is round.
("Gary" "is" "round" "+")
triple16
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple13 triple12) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is not rough.
("Gary" "is" "rough" "-")
((triple15) -> (rule2 % int1))
Gary is not rough.
("Gary" "is" "rough" "-")
int1