Erin is young. Fiona is quiet. Harry is red. If someone is red then they are young. All white, red people are rough. All red, white people are quiet. Young, big people are white. If Erin is white then Erin is kind. If someone is young then they are quiet.
Erin is young.
("Erin" "is" "young" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is red then they are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
All white, red people are rough.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
All red, white people are quiet.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Young, big people are white.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "+"))
If Erin is white then Erin is kind.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "kind" "+"))
If someone is young then they are quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
Fiona is quiet.
True
1
proof
[(triple2)]
("Fiona" "is" "quiet" "+")
triple2
Fiona is not quiet.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "quiet" "-")
triple2
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "young" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Erin is young.[(triple1)] Fiona is quiet.[(triple2)] Harry is red.[(triple3)] @1: Erin is quiet.[(((triple1) -> rule6))] Harry is young.[(((triple3) -> rule1))] @2: Harry is quiet.[(((((triple3) -> rule1)) -> rule6))]
Erin is young.
("Erin" "is" "young" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Harry is red.
("Harry" "is" "red" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple1) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple3) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((((triple3) -> (rule1 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2