Charlie is big. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is young. If Charlie is young then Charlie is rough.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
If Charlie is young then Charlie is rough.
((("Charlie" "is" "young" "+")) -> ("Charlie" "is" "rough" "+"))
Charlie is nice.
True
1
proof
[(triple4)]
("Charlie" "is" "nice" "+")
triple4
Charlie is not kind.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "kind" "-")
triple3
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is rough.[(triple5 OR ((triple7) -> rule1))] Charlie is smart.[(triple6)] Charlie is young.[(triple7)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
((triple7) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7