Erin is blue. Fiona is nice. Harry is round. If something is rough then it is red. All blue things are young. Round, red things are white.
Erin is blue.
("Erin" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is rough then it is red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
All blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Round, red things are white.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Harry is round.
True
1
proof
[(triple3)]
("Harry" "is" "round" "+")
triple3
Harry is not round.
False
1
inv-proof
[(triple3)]
("Harry" "is" "round" "-")
triple3
Erin is young.
True
2
proof
[(((triple1) -> rule2))]
("Erin" "is" "young" "+")
((triple1) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple1) -> rule2))]
("Erin" "is" "young" "-")
((triple1) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "red" "-")
Erin is white.
Unknown
rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "white" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Erin is blue.[(triple1)] Fiona is nice.[(triple2)] Harry is round.[(triple3)] @1: Erin is young.[(((triple1) -> rule2))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Harry is round.
("Harry" "is" "round" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
((triple1) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1