Bob is kind. Bob is round. Bob is smart. Bob is white. Bob is young. Fiona is cold. Fiona is kind. Fiona is red. Fiona is white. Fiona is young. Gary is cold. Gary is kind. Gary is red. Gary is round. Gary is smart. If someone is smart then they are round. If Fiona is smart then Fiona is kind. If Fiona is kind then Fiona is young.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
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 Fiona is smart then Fiona is kind.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "kind" "+"))
If Fiona is kind then Fiona is young.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "young" "+"))
Bob is kind.
True
1
proof
[(triple1)]
("Bob" "is" "kind" "+")
triple1
Gary is not round.
False
1
inv-proof
[(triple14 OR ((triple15) -> rule1))]
("Gary" "is" "round" "-")
triple14
((triple15) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is kind.[(triple1)] Bob is round.[(triple2 OR ((triple3) -> rule1))] Bob is smart.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Fiona is cold.[(triple6)] Fiona is kind.[(triple7)] Fiona is red.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10 OR ((triple7) -> rule3))] Gary is cold.[(triple11)] Gary is kind.[(triple12)] Gary is red.[(triple13)] Gary is round.[(triple14 OR ((triple15) -> rule1))] Gary is smart.[(triple15)]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
((triple3) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
((triple7) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple13
Gary is round.
("Gary" "is" "round" "+")
triple14
((triple15) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
triple15