Charlie is white. Erin is blue. Erin is rough. Fiona is blue. Harry is big. Harry is kind. Harry is quiet. If Harry is quiet and Harry is big then Harry is kind. Blue people are kind. Quiet, young people are kind.
Charlie is white.
("Charlie" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
If Harry is quiet and Harry is big then Harry is kind.
((("Harry" "is" "quiet" "+") ("Harry" "is" "big" "+")) -> ("Harry" "is" "kind" "+"))
Blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Quiet, young people are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Erin is rough.
True
1
proof
[(triple3)]
("Erin" "is" "rough" "+")
triple3
Harry is not kind.
False
1
inv-proof
[(triple6 OR ((triple7 triple5) -> rule1))]
("Harry" "is" "kind" "-")
triple6
((triple7 triple5) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Fiona is kind.
True
2
proof
[(((triple4) -> rule2))]
("Fiona" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple4) -> rule2))]
("Fiona" "is" "kind" "-")
((triple4) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "kind" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Charlie is white.[(triple1)] Erin is blue.[(triple2)] Erin is rough.[(triple3)] Fiona is blue.[(triple4)] Harry is big.[(triple5)] Harry is kind.[(triple6 OR ((triple7 triple5) -> rule1))] Harry is quiet.[(triple7)] @1: Erin is kind.[(((triple2) -> rule2))] Fiona is kind.[(((triple4) -> rule2))]
Charlie is white.
("Charlie" "is" "white" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple6
((triple7 triple5) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
((triple2) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1