Anne is green. Anne is rough. Dave is green. Erin is cold. Erin is red. Erin is young. Fiona is red. All red things are not green. All red things are cold. All quiet things are not nice. If Dave is not quiet then Dave is green. If Fiona is not green then Fiona is nice. All green, rough things are young. Green, young things are rough. All cold, nice things are rough.
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is red.
("Fiona" "is" "red" "+")
All red things are not green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "-"))
All red things are cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
All quiet things are not nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "-"))
If Dave is not quiet then Dave is green.
((("Dave" "is" "quiet" "~")) -> ("Dave" "is" "green" "+"))
If Fiona is not green then Fiona is nice.
((("Fiona" "is" "green" "~")) -> ("Fiona" "is" "nice" "+"))
All green, rough things are young.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
Green, young things are rough.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
All cold, nice things are rough.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
Dave is green.
True
1
proof
[(triple3)]
("Dave" "is" "green" "+")
triple3
Erin is not cold.
False
1
inv-proof
[(triple4 OR ((triple5) -> rule2))]
("Erin" "is" "cold" "-")
triple4
((triple5) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Anne is young.
True
3
proof
[(((triple1 triple2) -> rule6))]
("Anne" "is" "young" "+")
((triple1 triple2) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple7) -> rule2))]
("Fiona" "is" "cold" "-")
((triple7) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "young" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "cold" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Dave is green.[(triple3)] Erin is cold.[(triple4 OR ((triple5) -> rule2))] Erin is red.[(triple5)] Erin is young.[(triple6)] Fiona is red.[(triple7)] @1: Anne is young.[(((triple1 triple2) -> rule6))] Erin is not green.[(((triple5) -> rule1))] Fiona is cold.[(((triple7) -> rule2))] Fiona is not green.[(((triple7) -> rule1))] @2: Fiona is nice.[(((((triple7) -> rule1)) -> rule5))] @3: Fiona is rough.[(((((triple7) -> rule2) ((((triple7) -> rule1)) -> rule5)) -> rule8))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
((triple5) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Anne is young.
("Anne" "is" "young" "+")
((triple1 triple2) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Erin is not green.
("Erin" "is" "green" "-")
((triple5) -> (rule1 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple7) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
((triple7) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple7) -> (rule2 % int4)) ((((triple7) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is not green.
("Fiona" "is" "green" "-")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4