Anne is rough. Fiona is rough. Gary is nice. If something is smart and not round then it is rough. If Fiona is rough and Fiona is nice then Fiona is young. If something is kind and rough then it is smart. If something is rough then it is red. If Fiona is kind then Fiona is smart. All smart things are young.
Anne is rough.
("Anne" "is" "rough" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If something is smart and not round then it is rough.
((("something" "is" "smart" "+") ("something" "is" "round" "~")) -> ("something" "is" "rough" "+"))
If Fiona is rough and Fiona is nice then Fiona is young.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "young" "+"))
If something is kind and rough then it is smart.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
If something is rough then it is red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If Fiona is kind then Fiona is smart.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "smart" "+"))
All smart things are young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
Gary is nice.
True
1
proof
[(triple3)]
("Gary" "is" "nice" "+")
triple3
Fiona is not rough.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "rough" "-")
triple2
Fiona is red.
True
2
proof
[(((triple2) -> rule4))]
("Fiona" "is" "red" "+")
((triple2) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple2) -> rule4))]
("Fiona" "is" "red" "-")
((triple2) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not young.
Unknown
inv-rconc
[@2: Fiona is young.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Fiona" "is" "young" "-")
Gary is smart.
Unknown
rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "smart" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Anne is rough.[(triple1)] Fiona is rough.[(triple2)] Gary is nice.[(triple3)] @1: Anne is red.[(((triple1) -> rule4))] Fiona is red.[(((triple2) -> rule4))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple2) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1