Charlie is green. Charlie is kind. Charlie is nice. Erin is not furry. Erin is green. Erin is kind. Erin is nice. Erin is not red. Erin is rough. Erin is young. Fiona is not furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is rough. Fiona is young. Rough people are nice. If someone is furry and not kind then they are rough. All kind, red people are young.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Rough people are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is furry and not kind then they are rough.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "rough" "+"))
All kind, red people are young.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Erin is not furry.
True
1
proof
[(triple4)]
("Erin" "is" "furry" "-")
triple4
Erin is furry.
False
1
inv-proof
[(triple4)]
("Erin" "is" "furry" "+")
triple4
Fiona is nice.
True
2
proof
[(((triple15) -> rule1))]
("Fiona" "is" "nice" "+")
((triple15) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple15) -> rule1))]
("Fiona" "is" "nice" "-")
((triple15) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is nice.[(triple7 OR ((triple9) -> rule1))] Erin is not furry.[(triple4)] Erin is not red.[(triple8)] Erin is rough.[(triple9)] Erin is young.[(triple10)] Fiona is green.[(triple12)] Fiona is kind.[(triple13)] Fiona is not furry.[(triple11)] Fiona is red.[(triple14)] Fiona is rough.[(triple15)] Fiona is young.[(triple16 OR ((triple13 triple14) -> rule3))] @1: Fiona is nice.[(((triple15) -> rule1))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
((triple9) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not furry.
("Erin" "is" "furry" "-")
triple4
Erin is not red.
("Erin" "is" "red" "-")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
triple13
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Fiona is young.
("Fiona" "is" "young" "+")
triple16
((triple13 triple14) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple15) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1