Bob is round. Dave is kind. Fiona is kind. Fiona is round. Fiona is smart. Fiona is young. Gary is red. Gary is round. Gary is smart. Gary is young. If something is round and kind then it is nice.
Bob is round.
("Bob" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is round and kind then it is nice.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Gary is young.
True
1
proof
[(triple10)]
("Gary" "is" "young" "+")
triple10
Fiona is not round.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "round" "-")
triple4
Fiona is nice.
True
3
proof
[(((triple4 triple3) -> rule1))]
("Fiona" "is" "nice" "+")
((triple4 triple3) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
3
inv-proof
[(((triple4 triple3) -> rule1))]
("Fiona" "is" "nice" "-")
((triple4 triple3) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Bob is round.[(triple1)] Dave is kind.[(triple2)] Fiona is kind.[(triple3)] Fiona is round.[(triple4)] Fiona is smart.[(triple5)] Fiona is young.[(triple6)] Gary is red.[(triple7)] Gary is round.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10)] @1: Fiona is nice.[(((triple4 triple3) -> rule1))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple4 triple3) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1