Charlie is big. Charlie is green. Charlie is kind. Charlie is red. Charlie is rough. Dave is nice. Dave is red. Fiona is rough. Harry is not kind. Harry is white. If Charlie is not rough and Charlie is not green then Charlie is not kind. All white things are big. If something is big and not kind then it is nice.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is white.
("Harry" "is" "white" "+")
If Charlie is not rough and Charlie is not green then Charlie is not kind.
((("Charlie" "is" "rough" "~") ("Charlie" "is" "green" "~")) -> ("Charlie" "is" "kind" "-"))
All white things are big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
If something is big and not kind then it is nice.
((("something" "is" "big" "+") ("something" "is" "kind" "~")) -> ("something" "is" "nice" "+"))
Charlie is red.
True
1
proof
[(triple4)]
("Charlie" "is" "red" "+")
triple4
Charlie is not kind.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "kind" "-")
triple3
Harry is big.
True
2
proof
[(((triple10) -> rule2))]
("Harry" "is" "big" "+")
((triple10) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
2
inv-proof
[(((triple10) -> rule2))]
("Harry" "is" "big" "-")
((triple10) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
True
4
proof
[(((((triple10) -> rule2) triple9) -> rule3))]
("Harry" "is" "nice" "+")
((((triple10) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is not nice.
False
4
inv-proof
[(((((triple10) -> rule2) triple9) -> rule3))]
("Harry" "is" "nice" "-")
((((triple10) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "-")
Fiona is nice.
Unknown
rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "nice" "+")
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "big" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Dave is nice.[(triple6)] Dave is red.[(triple7)] Fiona is rough.[(triple8)] Harry is not kind.[(triple9)] Harry is white.[(triple10)] @1: Harry is big.[(((triple10) -> rule2))] @2: Harry is nice.[(((((triple10) -> rule2) triple9) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Harry is not kind.
("Harry" "is" "kind" "-")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Harry is big.
("Harry" "is" "big" "+")
((triple10) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((((triple10) -> (rule2 % int2)) triple9) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2