Bob is not blue. Bob is nice. Bob is round. Bob is not smart. Bob is white. Fiona is blue. Fiona is not cold. Fiona is nice. Fiona is round. Fiona is smart. Gary is blue. Gary is cold. Gary is kind. Gary is not round. Gary is not smart. Gary is white. Nice, smart people are kind. If Gary is not round and Gary is not white then Gary is smart.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is white.
("Bob" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is not smart.
("Gary" "is" "smart" "-")
Gary is white.
("Gary" "is" "white" "+")
Nice, smart people are kind.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
If Gary is not round and Gary is not white then Gary is smart.
((("Gary" "is" "round" "~") ("Gary" "is" "white" "~")) -> ("Gary" "is" "smart" "+"))
Fiona is smart.
True
1
proof
[(triple10)]
("Fiona" "is" "smart" "+")
triple10
Gary is smart.
False
1
inv-proof
[(triple15)]
("Gary" "is" "smart" "+")
triple15
Fiona is kind.
True
3
proof
[(((triple8 triple10) -> rule1))]
("Fiona" "is" "kind" "+")
((triple8 triple10) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
3
inv-proof
[(((triple8 triple10) -> rule1))]
("Fiona" "is" "kind" "-")
((triple8 triple10) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Bob is nice.[(triple2)] Bob is not blue.[(triple1)] Bob is not smart.[(triple4)] Bob is round.[(triple3)] Bob is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is nice.[(triple8)] Fiona is not cold.[(triple7)] Fiona is round.[(triple9)] Fiona is smart.[(triple10)] Gary is blue.[(triple11)] Gary is cold.[(triple12)] Gary is kind.[(triple13)] Gary is not round.[(triple14)] Gary is not smart.[(triple15)] Gary is white.[(triple16)] @1: Fiona is kind.[(((triple8 triple10) -> rule1))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not smart.
("Bob" "is" "smart" "-")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is not round.
("Gary" "is" "round" "-")
triple14
Gary is not smart.
("Gary" "is" "smart" "-")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple8 triple10) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1