Charlie is not rough. Fiona is quiet. Harry is big. Quiet, kind people are not young. All quiet people are kind. If someone is quiet and not big then they are kind. If someone is quiet and not nice then they are round. All kind people are quiet. All nice people are rough. If someone is nice and not round then they are rough. Young people are rough.
Charlie is not rough.
("Charlie" "is" "rough" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is big.
("Harry" "is" "big" "+")
Quiet, kind people are not young.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "-"))
All quiet people are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
If someone is quiet and not big then they are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "kind" "+"))
If someone is quiet and not nice then they are round.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "round" "+"))
All kind people are quiet.
((("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
All nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and not round then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "rough" "+"))
Young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Charlie is not rough.
True
1
proof
[(triple1)]
("Charlie" "is" "rough" "-")
triple1
Charlie is rough.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "rough" "+")
triple1
Fiona is kind.
True
2
proof
[(((triple2) -> rule2))]
("Fiona" "is" "kind" "+")
((triple2) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple2) -> rule2))]
("Fiona" "is" "kind" "-")
((triple2) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not young.
True
4
proof
[(((triple2 ((triple2) -> rule2)) -> rule1))]
("Fiona" "is" "young" "-")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
False
4
inv-proof
[(((triple2 ((triple2) -> rule2)) -> rule1))]
("Fiona" "is" "young" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "round" "-")
Charlie is kind.
Unknown
rconc
[@3: Charlie is kind.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule3 <- FAIL)]]
("Charlie" "is" "kind" "+")
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "rough" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is not rough.[(triple1)] Fiona is quiet.[(triple2)] Harry is big.[(triple3)] @1: Fiona is kind.[(((triple2) -> rule2))] @2: Fiona is not young.[(((triple2 ((triple2) -> rule2)) -> rule1))]
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple2) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not young.
("Fiona" "is" "young" "-")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not young.
("Fiona" "is" "young" "-")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2