Charlie is big. Charlie is rough. Charlie is young. Fiona is nice. Fiona is white. Gary is nice. Harry is white. Big things are kind. Young things are kind. All white things are young.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is white.
("Harry" "is" "white" "+")
Big things are kind.
((("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
Young things are kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
All white things are young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
Fiona is nice.
True
1
proof
[(triple4)]
("Fiona" "is" "nice" "+")
triple4
Harry is not white.
False
1
inv-proof
[(triple7)]
("Harry" "is" "white" "-")
triple7
Fiona is young.
True
2
proof
[(((triple5) -> rule3))]
("Fiona" "is" "young" "+")
((triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple7) -> rule3))]
("Harry" "is" "young" "-")
((triple7) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Fiona is kind.
True
3
proof
[(((((triple5) -> rule3)) -> rule2))]
("Fiona" "is" "kind" "+")
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Harry is not kind.
False
3
inv-proof
[(((((triple7) -> rule3)) -> rule2))]
("Harry" "is" "kind" "-")
((((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is kind.
Unknown
rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Gary" "is" "kind" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Charlie is big.[(triple1)] Charlie is rough.[(triple2)] Charlie is young.[(triple3)] Fiona is nice.[(triple4)] Fiona is white.[(triple5)] Gary is nice.[(triple6)] Harry is white.[(triple7)] @1: Charlie is kind.[(((triple1) -> rule1) OR ((triple3) -> rule2))] Fiona is young.[(((triple5) -> rule3))] Harry is young.[(((triple7) -> rule3))] @2: Fiona is kind.[(((((triple5) -> rule3)) -> rule2))] Harry is kind.[(((((triple7) -> rule3)) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple3) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple7) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2