Bob is round. Bob is smart. Bob is young. Fiona is furry. Fiona is green. Fiona is smart. Gary is cold. Gary is green. Gary is round. Gary is smart. If someone is smart then they are round. If Bob is green and Bob is cold then Bob is rough.
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is smart then they are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
If Bob is green and Bob is cold then Bob is rough.
((("Bob" "is" "green" "+") ("Bob" "is" "cold" "+")) -> ("Bob" "is" "rough" "+"))
Gary is smart.
True
1
proof
[(triple10)]
("Gary" "is" "smart" "+")
triple10
Bob is not young.
False
1
inv-proof
[(triple3)]
("Bob" "is" "young" "-")
triple3
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Bob is round.[(triple1 OR ((triple2) -> rule1))] Bob is smart.[(triple2)] Bob is young.[(triple3)] Fiona is furry.[(triple4)] Fiona is green.[(triple5)] Fiona is smart.[(triple6)] Gary is cold.[(triple7)] Gary is green.[(triple8)] Gary is round.[(triple9 OR ((triple10) -> rule1))] Gary is smart.[(triple10)] @1: Fiona is round.[(((triple6) -> rule1))]
Bob is round.
("Bob" "is" "round" "+")
triple1
((triple2) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
((triple10) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
((triple6) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1