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