Charlie is not big. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Fiona is big. Fiona is cold. Fiona is not nice. Fiona is quiet. Fiona is rough. Fiona is not round. Fiona is smart. All quiet things are cold. If something is smart and not big then it is quiet.
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
All quiet things are cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
If something is smart and not big then it is quiet.
((("something" "is" "smart" "+") ("something" "is" "big" "~")) -> ("something" "is" "quiet" "+"))
Fiona is rough.
True
1
proof
[(triple10)]
("Fiona" "is" "rough" "+")
triple10
Fiona is not smart.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "smart" "-")
triple12
Charlie is quiet.
True
3
proof
[(((triple5 triple1) -> rule2))]
("Charlie" "is" "quiet" "+")
((triple5 triple1) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is not quiet.
False
3
inv-proof
[(((triple5 triple1) -> rule2))]
("Charlie" "is" "quiet" "-")
((triple5 triple1) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
True
4
proof
[(((((triple5 triple1) -> rule2)) -> rule1))]
("Charlie" "is" "cold" "+")
((((triple5 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is not cold.
False
4
inv-proof
[(((((triple5 triple1) -> rule2)) -> rule1))]
("Charlie" "is" "cold" "-")
((((triple5 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
@0: Charlie is nice.[(triple2)] Charlie is not big.[(triple1)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Charlie is smart.[(triple5)] Fiona is big.[(triple6)] Fiona is cold.[(triple7 OR ((triple9) -> rule1))] Fiona is not nice.[(triple8)] Fiona is not round.[(triple11)] Fiona is quiet.[(triple9)] Fiona is rough.[(triple10)] Fiona is smart.[(triple12)] @1: Charlie is quiet.[(((triple5 triple1) -> rule2))] @2: Charlie is cold.[(((((triple5 triple1) -> rule2)) -> rule1))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is not big.
("Charlie" "is" "big" "-")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
((triple9) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple8
Fiona is not round.
("Fiona" "is" "round" "-")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple5 triple1) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple5 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2