Charlie is blue. Charlie is furry. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. All blue, smart people are furry. Young people are smart.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All blue, smart people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
Young people are smart.
((("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
Charlie is blue.
True
1
proof
[(triple1)]
("Charlie" "is" "blue" "+")
triple1
Fiona is not rough.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "rough" "-")
triple11
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2 OR ((triple1 triple5) -> rule1) OR ((triple1 ((triple7) -> rule2)) -> rule1))] Charlie is kind.[(triple3)] Charlie is rough.[(triple4)] Charlie is smart.[(triple5 OR ((triple7) -> rule2))] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9 OR ((triple8 triple12) -> rule1) OR ((triple8 ((triple14) -> rule2)) -> rule1))] Fiona is kind.[(triple10)] Fiona is rough.[(triple11)] Fiona is smart.[(triple12 OR ((triple14) -> rule2))] Fiona is white.[(triple13)] Fiona is young.[(triple14)]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
((triple1 triple5) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple1 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
((triple7) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
((triple8 triple12) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple8 ((triple14) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
((triple14) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple13
Fiona is young.
("Fiona" "is" "young" "+")
triple14