Bob is not cold. Bob is nice. Bob is not young. Erin is cold. Erin is kind. Erin is young. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is young. Gary is kind. Gary is nice. Young things are cold. If Fiona is young and Fiona is not blue then Fiona is kind. All blue, big things are nice. If something is nice and not blue then it is big. If Gary is blue and Gary is not big then Gary is cold. If something is blue and not cold then it is not kind.
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is not young.
("Bob" "is" "young" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If Fiona is young and Fiona is not blue then Fiona is kind.
((("Fiona" "is" "young" "+") ("Fiona" "is" "blue" "~")) -> ("Fiona" "is" "kind" "+"))
All blue, big things are nice.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
If something is nice and not blue then it is big.
((("something" "is" "nice" "+") ("something" "is" "blue" "~")) -> ("something" "is" "big" "+"))
If Gary is blue and Gary is not big then Gary is cold.
((("Gary" "is" "blue" "+") ("Gary" "is" "big" "~")) -> ("Gary" "is" "cold" "+"))
If something is blue and not cold then it is not kind.
((("something" "is" "blue" "+") ("something" "is" "cold" "~")) -> ("something" "is" "kind" "-"))
Bob is not young.
True
1
proof
[(triple3)]
("Bob" "is" "young" "-")
triple3
Fiona is not blue.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "blue" "-")
triple7
Fiona is cold.
True
2
proof
[(((triple10) -> rule1))]
("Fiona" "is" "cold" "+")
((triple10) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple10) -> rule1))]
("Fiona" "is" "cold" "-")
((triple10) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "big" "-")
Erin is big.
Unknown
rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "big" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is nice.[(triple2)] Bob is not cold.[(triple1)] Bob is not young.[(triple3)] Erin is cold.[(triple4 OR ((triple6) -> rule1))] Erin is kind.[(triple5)] Erin is young.[(triple6)] Fiona is blue.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is young.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12)] @1: Fiona is cold.[(((triple10) -> rule1))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is not cold.
("Bob" "is" "cold" "-")
triple1
Bob is not young.
("Bob" "is" "young" "-")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
((triple6) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple10) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1