Bob is kind. Bob is nice. Bob is red. Charlie is nice. Charlie is round. Dave is blue. Dave is kind. Fiona is cold. Fiona is nice. Fiona is red. Kind people are round. If someone is white then they are not nice.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is white then they are not nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "-"))
Bob is kind.
True
1
proof
[(triple1)]
("Bob" "is" "kind" "+")
triple1
Dave is not kind.
False
1
inv-proof
[(triple7)]
("Dave" "is" "kind" "-")
triple7
Bob is round.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "round" "+")
((triple1) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple7) -> rule1))]
("Dave" "is" "round" "-")
((triple7) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Charlie is nice.[(triple4)] Charlie is round.[(triple5)] Dave is blue.[(triple6)] Dave is kind.[(triple7)] Fiona is cold.[(triple8)] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] @1: Bob is round.[(((triple1) -> rule1))] Dave is round.[(((triple7) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Bob is round.
("Bob" "is" "round" "+")
((triple1) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple7) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1